Fai clic su di un'immagine per andare a Google Ricerca Libri.
Sto caricando le informazioni... Metalogic: An Introduction to the Metatheory of Standard First Order Logic (edizione 1996)di Geoffrey Hunter
Informazioni sull'operaMetalogic: An Introduction to the Metatheory of Standard First Order Logic di Geoffrey Hunter
Nessuno Sto caricando le informazioni...
Iscriviti per consentire a LibraryThing di scoprire se ti piacerà questo libro. Attualmente non vi sono conversazioni su questo libro. Nessuna recensione nessuna recensione | aggiungi una recensione
This work makes available to readers without specialized training in mathematics complete proofs of the fundamental metatheorems of standard (i.e., basically truth-functional) first order logic. Included is a complete proof, accessible to non-mathematicians, of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century. Hunter explains concepts of mathematics and set theory along the way for the benefit of non-mathematicians. He also provides ample exercises with comprehensive answers. Non sono state trovate descrizioni di biblioteche |
Discussioni correntiNessunoCopertine popolari
Google Books — Sto caricando le informazioni... GeneriSistema Decimale Melvil (DDC)511.3Natural sciences and mathematics Mathematics General Principles Mathematical (Symbolic) logicClassificazione LCVotoMedia:
Sei tu?Diventa un autore di LibraryThing. |