اسم: | Mathematical Logic, 3rd Edition - (BookRAR) |
الوصف: Description This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé’s characterization of elementary equivalence, Lindström’s theorem on the maximality of first-order logic, and the fundamentals of logic programming. Book Details Language: English Published: 2021 ISBN: 3030738388 Format: True PDF | |
يوتيوب فيديو: | |
الفئة: | Books |
اللغة: | English |
إجمالي حجم: | 7.27 MB |
تجزئة المعلومات: | 3D1935D89AA0296E71DB8145A8D7B3D96EF9E2DC |
وأضاف بها: | bookrar |
تاريخ الإضافة: | 2021-06-06 00:03:48 |
سيل مركز: | Torrent Verified |
تصنيفات: | Not Yet Rated (Log in to rate it) |
URL | آلات | leechers | إكمال |
---|---|---|---|
udp://tracker.coppersurfer.tk:6969/announce | 0 | 0 | 0 |
udp://tracker.leechers-paradise.org:6969/announce | 0 | 0 | 0 |
udp://9.rarbg.to:2710/announce | 0 | 0 | 0 |
udp://exodus.desync.com:6969/announce | 1 | 0 | 29 |
udp://tracker.uw0.xyz:6969/announce | 0 | 0 | 0 |
udp://open.stealth.si:80/announce | 3 | 0 | 713 |
udp://tracker.tiny-vps.com:6969/announce | 1 | 0 | 9 |
udp://zephir.monocul.us:6969/announce | 0 | 0 | 0 |
udp://tracker.torrent.eu.org:451/announce | 3 | 0 | 581 |
udp://tracker.cyberia.is:6969/announce | 0 | 0 | 0 |
udp://tracker.zum.bi:6969/announce | 0 | 0 | 0 |
udp://opentracker.i2p.rocks:6969/announce | 0 | 0 | 0 |