Metalogic: An Introduction to the Metatheory of Standard First Order Logic - Geoffrey Hunter - Livres - University of California Press - 9780520023567 - 26 juin 1973
Si la couverture et le titre ne correspondent pas, le titre est correct.

Geoffrey Hunter
Metalogic: An Introduction to the Metatheory of Standard First Order Logic

Prix
€ 42,99

Commandé depuis un entrepôt distant

Livraison prévue 6 - 15 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Provides readers with complete proofs of the fundamental metatheorems of standard (that is, basically truth-functional) first order logic. This title includes a complete proof of the undecidability of first order logic, the most important fact about logic to emerge from the work of the last half-century.

302 pages, Ill.

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 26 juin 1973
ISBN13 9780520023567
Éditeurs University of California Press
Pages 302
Dimensions 209 × 136 × 18 mm   ·   400 g
Langue et grammaire Anglais  

Plus par Geoffrey Hunter

Afficher tout

Voir tous les Geoffrey Hunter ( par ex. Paperback Book et Hardcover Book )