Name: | Mathematical Logic, 3rd Edition - (BookRAR) |
Description: 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 | |
YouTube Video: | |
Category: | Books |
Language: | English |
Total Size: | 7.27 MB |
Info Hash: | 3D1935D89AA0296E71DB8145A8D7B3D96EF9E2DC |
Added By: | bookrar |
Date Added: | 2021-06-06 00:03:48 |
Torrent Status: | Torrent Verified |
Ratings: | Not Yet Rated (Log in to rate it) |
URL | Seeders | Leechers | Completed |
---|---|---|---|
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 |