Outlines of a formalist philosophy of mathematics

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Curry, Haskell B. 1900- (Haskell Brooks)
Μορφή: Βιβλίο
Γλώσσα:Greek
Έκδοση: Amsterdam North - Holland Publishing Company 1958
Θέματα:
LEADER 00882nam a2200229 u 4500
001 10000163
003 upatras
005 20210117203149.0
008 881025s1958 gr gre
040 |a GR-PaULI  |c GR-PaULI 
041 0 |a gre 
082 0 4 |a 511.3 
100 1 |a Curry, Haskell B.   |d 1900-  |q (Haskell Brooks),   |9 103080 
245 1 0 |a Outlines of a formalist philosophy of mathematics  |c Haskell B. Curry 
260 |a Amsterdam  |b North - Holland Publishing Company  |c 1958 
300 |a vii, 75 p.  |c 22 cm 
505 1 |a Includes appendix 
650 4 |a Λογική, Συμβολική και μαθηματική  |9 472 
852 |a GR-PaULI  |b ΠΑΤΡΑ  |b ΒΚΠ  |b ΒΣ1  |k ΑΣΧΞ  |h 511.3 C  |m 02101  |t 1 
942 |2 ddc  |c BK15 
952 |0 0  |1 0  |4 0  |6 511_300000000000000_C  |7 0  |9 107018  |a LISP  |b LISP  |c BSC  |d 2016-04-24  |i 02101  |l 0  |o 511.3 C  |r 2016-04-24 00:00:00  |t 1  |w 2016-04-24  |y BK15 
999 |c 71977  |d 71977