| BookRAR.net.txt | 102.4 B | ||
| Downloaded from BookRAR.net.txt | 102.4 B | ||
| Mathematical Logic, 3rd Edition.pdf | 7.3 MB | ||
| Torrent Downloaded from Glodls.to.txt | 204.8 B | ||
| [TGx]Downloaded from torrentgalaxy.to .txt | 614.4 B |
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
| torrent name | size | uploader | age | seed | leech |
|---|---|---|---|---|---|
|
Set Theory And Foundations Of Mathematics - An Introduction To Mathematical Logic - Volume I Posted by
freecoursewb in Books
> Ebooks
|
11.4 MB | freecoursewb | 7 months | 5 | 0 |
|
Mathematical Logic, Computability, Complexity, and Randomness[Softcrate] Posted by
FlexiStore in Books
> Ebooks
|
3.5 MB | FlexiStore | 8 months | 29 | 1 |
| 1.64 MB | andryold1 | 1 year | 22 | 0 | |
| 1.13 MB | andryold1 | 1 year | 20 | 9 | |
| 37.2 MB | freecoursewb | 2 years | 16 | 0 |
All Comments