000 00878nam a2200229 u 4500
999 _c111047
_d111047
001 10020339
003 GR-PaULI
005 20210117205425.0
008 881025r19621954ne eng
040 _aGR-PaULI
_cGR-PaULI
_bgre
_eAACR2
082 0 4 _a511.3
_223
100 1 _aAckermann, W.
_q(Wilhelm),
_d1896-
_4
_eσυγγραφέας.
_9144369
245 1 0 _aSolvable cases of the decision problem /
_cW. Ackermann.
260 _aAmsterdam :
_bNorth-Holland,
_c1954 [2nd printing 1962].
300 _avii, 114 σ. ;
_c23 εκ.
490 1 _aStudies in logic and the foundations of mathematics
504 _aΠεριλαμβάνει βιβλιογραφία.
650 4 _aΛογική, Συμβολική και μαθηματική
_9472
830 0 _9172249
_aStudies in logic and the foundations of mathematics
942 _2ddc
_cBKN
998 _cΜΠΟΥΡΑΣ
_d2019-09