|
Latest Articles
|
 |
Mathematical Logic, 3rd Edition - (BookRAR) torrent |
| Download torrent: |
|
| Info hash: |
3D1935D89AA0296E71DB8145A8D7B3D96EF9E2DC |
| Category: |
Categories >
Books torrents
> Ebooks torrents
|
| Trackers: |
udp://tracker.coppersurfer.tk:6969/announce
udp://tracker.leechers-paradise.org:6969/announce
udp://9.rarbg.to:2710/announce
udp://exodus.desync.com:6969/announce
udp://tracker.uw0.xyz:6969/announce
udp://open.stealth.si:80/announce
udp://tracker.tiny-vps.com:6969/announce
udp://zephir.monocul.us:6969/announce
udp://tracker.torrent.eu.org:451/announce
udp://tracker.cyberia.is:6969/announce
udp://tracker.zum.bi:6969/announce
udp://opentracker.i2p.rocks:6969/announce
udp://tracker.zer0day.to:1337/announce
udp://tracker.leechers-paradise.org:6969/announce
udp://coppersurfer.tk:6969/announce
|
|
| Health: |
|
| Torrent language: |
English |
| Total Size: |
7.30 MB |
| Number of files: |
|
| Uploader: |
|
| Torrent added: | 2021-06-05 18:08:35 |
|
Torrent 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
Related Torrents
|