000 01159nam a2200265 u 4500
999 _c142332
_d142332
001 10084524
003 GR-PaULI
005 20210117210944.0
008 100420s1977 ne 1 eng
020 _a0720406919
040 _aGR-PaULI
_cGR-PaULI
_bgre
_eAACR2
082 0 4 _a511.3
_223
111 _9177660
_aLogic Colloquium
_d(1976 :
_cOxford, England)
245 1 0 _aLogic Colloquium :
_bproceedings of a conference held in Oxford in July 1976 /
_cedited by R. O. Gandy, J. M. E. Hyland.
260 _aAmsterdam :
_bNorth Holland,
_c1977.
300 _axxi, 509 σ. ;
_b
_c24 εκ.
490 1 _aStudies in logic and the foundations of mathematics
_v87.
504 _aΠεριλαμβάνει βιβλιογραφικές παραπομπές και ευρετήριο.
650 4 _aΛογική, Συμβολική και μαθηματική
_9472
700 1 _9177661
_aGandy, R. O.
_q(Robin O.)
_eεπιμελητής.
700 1 _9177663
_aHyland, J. M. E.
_q(John Martin Elliott)
_eεπιμελητής.
830 0 _9172249
_aStudies in logic and the foundations of mathematics
_v87.
942 _2ddc
_cBKN
998 _cΜΠΟΥΡΑΣ
_d2019-09