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
Fraisse's characterization of elementary equivalence, Lindstroem's
theorem on the maximality of first-order logic, and the
fundamentals of logic programming.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
