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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Spese di spedizione:
EUR 11,64
Da: Regno Unito a: U.S.A.
Descrizione libro Paperback. Condizione: Brand New. 2nd reprint edition. 301 pages. French language. 9.25x6.10x0.79 inches. In Stock. Codice articolo zk1475723571
Descrizione libro Condizione: New. Buy with confidence! Book is in new, never-used condition. Codice articolo bk1475723571xvz189zvxnew