Torrent details for "Mathematical Logic, 3rd Edition - (BookRAR)" Log in to bookmark
Controls:
Language:
EnglishTotal Size:
7.27 MB
Info Hash:
3d1935d89aa0296e71db8145a8d7b3d96ef9e2dc
Added By:
Added:
05-06-2021 17:03
Views:
586
Health:
Seeds:
6
Leechers:
0
Completed:
715
Thanks for rating :
p751
(5),
p751
(5), 
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