Holdings: Proof, logic and formalization

Saved in:

Bibliographic Details
Other Authors :	Detlefsen Michael (Éditeur scientifique)
Format :	Book
Language :	anglais
Title statement :	Proof, logic and formalization
Published :	London, New York : Routledge , 1992
Physical Description :	X-241 p.
Subjects :	Logique mathématique Théorie de la démonstration

Holdings details from BU Lettres
Location	Call Number	Loan type	Status
Document à demander aux points d'accueil	S 240962	Empruntable	Available