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 |