m
     
MathOuvrage

H 0 Proof theory

Takeuti, Gaisi

North-Holland

1975

372

12718

théorie de la preuve


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 12718 1021824 GALERIE (Perdu 2009) [non empruntable]

ISBN10 : 0-444-10492-5

Type de doc : M

Ville d'édition : Amsterdam

Langue ouvrage : eng

Collection : Studies in logic and the foundations of mathematics

N° dans la collection : 081

ISSN Collection : 0049-237X

Class. Math. 1991 : 02-02 ; 02B10 ; 02B15 ; 02B25 ; 02D05 ; 02D99

Z