Outlines of a formalist philosophy of mathematics

Outlines of a formalist philosophy of mathematics

Saved in:
Bibliographic Details
Main Author : Curry Haskell Brooks (Auteur)
Format : Book
Language : anglais
Title statement : Outlines of a formalist philosophy of mathematics / Haskell B. Curry,...
Published : Amsterdam : North-Holland , 1951
Physical Description : 1 vol. (VII-75 p.)
Series : Studies in logic and the foundations of mathematics
Subjects :
Mathématiques > Philosophie
Logique mathématique
LEADER 02182cam a2200661 4500
001 PPN005435218
003 http://www.sudoc.fr/005435218
005 20240318152400.0
020 |a US  |b a 52002556 
035 |a 063224992  |9 sudoc 
035 |a 06322500X  |9 sudoc 
035 |a 025065750  |9 sudoc 
035 |a 012555568  |9 sudoc 
035 |a (OCoLC)459007536 
035 |a ocm00523920 
035 |a sib0075628 
035 |a sib0407616 
035 |a AIC02230405 
035 |a AIC02230407 
035 |a ocm09312495 
100 |a 19871005h19511951k y0frey0103 ba 
101 0 |a eng  |2 639-2 
102 |a NL 
105 |a y a 000yy 
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 Outlines of a formalist philosophy of mathematics  |f Haskell B. Curry,... 
214 0 |a Amsterdam  |c North-Holland  |d 1951 
215 |a 1 vol. (VII-75 p.)  |d 22 cm 
225 2 |a Studies in logic and the foundations of mathematics  |x 0049-237X 
300 |a La préface précise : "The present monograph represents the publication of [a] manuscript prepared in 1939." 
305 |a Autre tirage : 1958 (2ème) 
320 |a Notes bibliogr. 
410 | |0 013286838  |t Studies in logic and the foundations of mathematics  |x 0049-237X 
606 |3 PPN027257878  |a Mathématiques  |x Philosophie  |2 rameau 
606 |3 PPN027662799  |a Logique mathématique  |2 rameau 
676 |a 511.3 
680 |a QA9 
686 |a 02.0  |c 1958  |2 msc 
700 1 |3 PPN032659210  |a Curry  |b Haskell Brooks  |f 1900-1982  |4 070 
801 3 |a FR  |b Abes  |c 20210429  |g AFNOR  |h 063224992 
801 3 |a FR  |b Abes  |c 20210429  |g AFNOR  |h 06322500X 
801 3 |a FR  |b Abes  |c 20210429  |g AFNOR  |h 025065750 
801 3 |a FR  |b Abes  |c 20210429  |g AFNOR  |h 012555568 
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 SF  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
979 |a PHILO 
930 |5 441092107:25291404X  |b 441092107  |a L 1764  |j s 
991 |5 441092107:25291404X  |a Rétroconversion Philosophie 
998 |a 445384