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 3,97
In U.S.A.
Descrizione libro Hardcover. Condizione: new. Prompt service guaranteed. Codice articolo Clean0387942580
Descrizione libro Condizione: new. Codice articolo FrontCover0387942580
Descrizione libro Hardcover. Condizione: new. New. Codice articolo Wizard0387942580
Descrizione libro Hardcover. Condizione: new. New. Fast Shipping and good customer service. Codice articolo Holz_New_0387942580
Descrizione libro Condizione: new. Codice articolo newMercantile_0387942580
Descrizione libro Hardcover. Condizione: new. New Copy. Customer Service Guaranteed. Codice articolo think0387942580
Descrizione libro Condizione: New. New. In shrink wrap. Looks like an interesting title! 1.28. Codice articolo Q-0387942580
Descrizione libro Condizione: New. Codice articolo 462047-n
Descrizione libro Hardcover. Condizione: new. Codice articolo 9780387942582
Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9780387942582_lsuk