Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Takeuchi, Gaishi (1926-2017)  Voir les notices liées en tant qu'auteur

Titre(s) : Proof theory [Texte électronique] / Gaisi Takeuti

Publication : Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975

Description matérielle : 1 ressource dématérialisée

Collection : Studies in logic and the foundations of mathematics ; v. 81

Note(s) : Based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo in the summer of 1968. - Includes index

Sujet(s) : Théorie de la démonstration  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9780444104922

Identifiant de la notice  : ark:/12148/cb44645455g

Notice n° :  FRBNF44645455 (notice reprise d'un réservoir extérieur)