Metalogic: an introduction to the metatheory of standard first order logic

Auteur : Hunter, Geoffrey
Éditeur : University of California Press
ISBN : 9780520023567
Date de publication : 26 juin 1973
Dimensions : 21,0 x 14,0 x 2,0 cm
Poids : 363 g
Format : Trade paperback (US)
Langue : Anglais
Pays d'origine : USA

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.

43,49 €
Prix de vente belge indicatif
Disponibilité
Disponible sur commande

Pour commander, veuillez vous connecter à votre compte.