Proof theory
Enregistré dans:
Auteur principal : | |
---|---|
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 : |
LEADER | 01921cam a2200565 4500 | ||
---|---|---|---|
001 | PPN004781619 | ||
003 | http://www.sudoc.fr/004781619 | ||
005 | 20190627101500.0 | ||
010 | |a 0-7204-2200-0 |b rel. : North-Holland | ||
010 | |a 0-444-10492-5 |b rel. : American Elsevier | ||
010 | |a 0-7204-2277-9 |b rel. : North-Holland | ||
020 | |a US |b 7523164 | ||
035 | |a (OCoLC)299343174 | ||
035 | |a ocm01531974 | ||
035 | |a sib0013225 | ||
100 | |a 19990302h19751975k y0frey0103 ba | ||
101 | 0 | |a eng | |
102 | |a NL |a US | ||
105 | |a y a 001yy | ||
106 | |a r | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c n |2 rdamedia | ||
182 | 1 | |6 z01 |a n | |
183 | 1 | |6 z01 |a nga |2 rdacarrier | |
200 | 1 | |a Proof theory |f Gaisi Takeuti,... | |
210 | |a Amsterdam [etc.] |c North Holland |a New York |c American Elsevier |d cop. 1975 | ||
215 | |a 1 vol. (VII-372 p.) |d 23 cm | ||
225 | 1 | |a Studies in logic and the foundations of mathematics |v 81 | |
300 | |a Texte issu des conférences données au Symposium on Intuitionism and Proof Theory tenu à Buffalo durant l'été 1968 | ||
320 | |a Index | ||
410 | | | |0 013286838 |t Studies in logic and the foundations of mathematics |x 0049-237X |v 81 | |
606 | |3 PPN03145836X |a Théorie de la démonstration |2 rameau | ||
675 | |a 81 | ||
676 | |a 511/.3 | ||
680 | |a QA9.54 |b .T34 1975 | ||
686 | |a 03F99 |c 2010 |2 msc | ||
686 | |a 03-02 |c 2010 |2 msc | ||
686 | |a 03-01 |c 2010 |2 msc | ||
700 | 1 | |3 PPN08206217X |a Takeuchi |b Gaishi |f 1926-2017 |4 070 | |
801 | 1 | |a US |b OCLC |g AACR2 | |
801 | 2 | |a FR |b AUROC |g AFNOR | |
801 | 3 | |a FR |b SF |g AFNOR | |
801 | 3 | |a FR |b Abes |c 20190402 |g AFNOR | |
915 | |5 441092208:639608159 |b 9220 | ||
930 | |5 441092208:639608159 |b 441092208 |a 03C86 |j u | ||
979 | |a CCFA | ||
991 | |5 441092208:639608159 |a exemplaire créé automatiquement par l'ABES | ||
997 | |a CCFA |b 9220 |d CMB |e BAP |s d |c 03C86 | ||
998 | |a 841102 |