Détails bibliographiques
| Auteurs principaux : |
Hendricks Vincent Fella
(Directeur de publication),
Jørgensen Klaus Frovin
(Directeur de publication),
Pedersen Stig Andur
(Directeur de publication) |
| Format : |
Livre |
| Langue : |
anglais |
| Titre complet : |
Proof theory : history and philosophical signifiance / edited by Vincent F. Hendricks,... Stig Andur Pedersen and Klaus Frovin Jørgensen,... |
| Publié : |
Dordrecht, Boston, London :
Kluwer
, cop. 2000
|
| Description matérielle : |
1 vol. (XII-244 p.) |
| Collection : |
Synthese Library (Dordrecht) ; 292
|
| Sujets : |
|
Nantilus
