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

Auteur(s) : Troelstra, A. S (1939-2019)  Voir les notices liées en tant qu'auteur
Schwichtenberg, Helmut (1942-....)  Voir les notices liées en tant qu'auteur

Titre(s) : Basic proof theory [Texte imprimé] / A. S. Troelstra,... H. Schwichtenberg,...

Publication : Cambridge : Cambridge university press, 1996

Description matérielle : XI-343 p. ; 24 cm

Collection : Cambridge tracts in theoretical computer science ; 43

Lien à la collection : Cambridge tracts in theoretical computer science  Voir toutes les notices liées

Note(s) : Bibliogr. p. 309-330. Index

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

Indice(s) Dewey :  511.36 (23e éd.) = Théorie de la preuve et mathématiques constructives  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-521-57223-1 (rel.)

Identifiant de la notice  : ark:/12148/cb375005833

Notice n° :  FRBNF37500583