000 | 00544 a2200193 4500 | ||
---|---|---|---|
082 |
_a511.8 _bL829 |
||
100 | _aLolli, G. | ||
245 | 1 |
_aLOGIC COLLOQUIUM' 82 _cPROCEEDINGS |
|
260 |
_aAmsterdam _bNorth-Holland _c1984 |
||
300 | _aviii,358 | ||
440 |
_aStudies In Logic And The Foundations Of Mathematics _vV. 112 |
||
650 | _aModel Theory -- Congresses | ||
650 | _aCategories (Mathematics) -- Congresses | ||
650 | _aLambda Calculus -- Congresses | ||
700 | _aLongo, G. | ||
700 | _a | ||
964 | _gCIRC | ||
997 | _aA85203 C | ||
999 |
_c465106 _d465106 |