Proof theory

Détails bibliographiques
Auteur principal : Takeuchi Gaishi (Auteur)
Format : Livre
Langue : anglais
Titre complet : Proof theory / Gaisi Takeuti,...
Publié : Amsterdam [etc.], New York : North Holland , cop. 1975
American Elsevier
Description matérielle : 1 vol. (VII-372 p.)
Collection : Studies in logic and the foundations of mathematics ; 81
Titre de l'ensemble : Studies in logic and the foundations of mathematics vol. 81
Sujets :
Chargement en cours