Intuitionism : an introduction

Enregistré dans:
Détails bibliographiques
Auteur principal : Heyting Arend (Auteur)
Format : Livre
Langue : anglais
Titre complet : Intuitionism : an introduction / A. Heyting,...
Édition : 2nd revised edition
Publié : Amsterdam, New York, Oxford : North-Holland Publishing Co. , 1966
Description matérielle : 1 vol. (X-137 p.)
Collection : Studies in logic and the foundations of mathematics
Titre de l'ensemble : Studies in logic and the foundations of mathematics
Sujets :
LEADER 01860cam a2200529 4500
001 PPN004914392
003 http://www.sudoc.fr/004914392
005 20240318152300.0
010 |a 0-7204-22639  |b br. 
035 |a (OCoLC)422359997 
035 |a ocm01392224 
035 |a sib0023121 
100 |a 19990302d1966 k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a NL  |a US  |a GB 
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 RDAfrCarrier 
200 1 |a Intuitionism  |e an introduction  |f A. Heyting,... 
205 |a 2nd revised edition 
214 0 |a Amsterdam  |a New York  |a Oxford  |c North-Holland Publishing Co.  |d 1966 
215 |a 1 vol. (X-137 p.)  |d 23 cm 
225 1 |a Studies in logic and the foundations of mathematics 
305 |a La couverture de 1976 précise "Third revised edition" alors que le verso de la page de titre mentionne simplement un 3e tirage en 1976 
305 |a Autre tirage : 1976 
320 |a Bibliogr. p. 123-129. Index 
410 | |0 013286838  |t Studies in logic and the foundations of mathematics  |x 0049-237X 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
606 |3 PPN02723875X  |a Mathématiques  |3 PPN027295206  |x Philosophie  |2 rameau 
606 |3 PPN027392767  |a Mathématiques intuitionnistes  |2 rameau 
676 |a 511.3 
680 |a QA9 
700 1 |3 PPN027663426  |a Heyting  |b Arend  |f 1898-1980  |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 20210625  |g AFNOR 
979 |a PHILO 
979 |a CCFA 
930 |5 441092107:252907418  |b 441092107  |a H 1755  |j s 
930 |5 441092208:655262695  |b 441092208  |j u 
991 |5 441092107:252907418  |a Retroconversion Philosophie 
998 |a 445288