Description: Proof, logic and formalization

Enregistré dans:

Détails bibliographiques
Autres auteurs :	Detlefsen Michael (Éditeur scientifique)
Format :	Livre
Langue :	anglais
Titre complet :	Proof, logic and formalization
Publié :	London, New York : Routledge , 1992
Description matérielle :	X-241 p.
Sujets :	Logique mathématique Théorie de la démonstration

Description
ISBN :	0415023351