Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

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

Titre(s) : Proof theory [Texte imprimé] / Gaisi Takeuti,..

Publication : Amsterdam ; Oxford : North-Holland ; New York : American Elsevier, 1975

Description matérielle : VII-372 p. ; 23 cm

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

Lien à la collection : Studies in logic and the foundations of mathematics  Voir toutes les notices liées

Note(s) : Index

Identifiants, prix et caractéristiques : ISBN 0-7204-2277-9 ((North Holland)). - ISBN 0-444-10492-5 ((American Elsevier))

Identifiant de la notice  : ark:/12148/cb35394066b

Notice n° :  FRBNF35394066