Book review: M. Detlefsen (ed.), Proof, logic and formalization, London/New York, Routledge, 1992, X+241p, in: History and Philosophy of Logic - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue History and Philosophy of Logic Année : 1994

Book review: M. Detlefsen (ed.), Proof, logic and formalization, London/New York, Routledge, 1992, X+241p, in: History and Philosophy of Logic

Mots clés

Fichier non déposé

Dates et versions

hal-01238206 , version 1 (04-12-2015)

Identifiants

Citer

Gerhard Heinzmann. Book review: M. Detlefsen (ed.), Proof, logic and formalization, London/New York, Routledge, 1992, X+241p, in: History and Philosophy of Logic. History and Philosophy of Logic, 1994, 15 (1), pp.138-142. ⟨10.1080/01445349408837228⟩. ⟨hal-01238206⟩
31 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More