000 00866nam a2200241 u 4500
999 _c117857
_d117857
001 10119790
003 GR-PaULI
005 20210117205819.0
008 160406s1978 ne eng
020 _a0720422868
040 _aGR-PaULI
_cGR-PaULI
_bgre
_eAACR2
082 0 4 _a511.360 285 63
_223
100 1 _aSzabo, M. E.
_4
_9149908
_eσυγγραφέας.
245 1 0 _aAlgebra of proofs /
_cM. E. Szabo.
260 _aAmsterdam ;
_bNorth-Holland,
_c1978.
300 _axii, 297 σ. ;
_c24 εκ.
490 1 _aStudies in logic and the foundations of mathematics
_v88.
504 _aΠεριλαμβάνει βιβλιογραφία.
650 4 _aΛογική, Συμβολική και μαθηματική
_9472
830 0 _9172249
_aStudies in logic and the foundations of mathematics
942 _2ddc
_cBKN
998 _cΜΠΟΥΡΑΣ
_d2016-04