000 00675nam a2200193 4500
001 UA/LIB/BASE/446718000
005 20180123224024.0
020 _a0-520-02356-0
040 _bukr
_ePSBO
041 0 _aeng
090 _aBC128
_b.H86 1973
_cBC128 .H86 1973
100 1 _aHunter, Geoffrey
245 1 0 _aMetalogic
_ban introduction to the metatheory of standard first order logic
_cGeoffrey Hunter
260 _aBerkeley
_aLos Angeles
_bUniversity of California Press
_c1973
300 _axiii, 288 p.
_btab., schem.
_c23 cm
440 0 _aCampus
_v91
504 _aБібліогр. : c. 262-274, Index
964 _a2014-02-26
999 _c270784
_d270784