000 00727nam a22002414a 4500
999 _c54838
_d54838
003 IN-MiVU
005 20240926143721.0
007 ta
008 171025s1971 xxu |||gr||||Z||1|0|eng
020 _a9780520023567:
_c$33.95
_q(pbk)
040 _aMAIN
_beng
_cIN-MiVU
082 0 4 _221st
_a511.3
_bHUN/M
100 1 _aHunter,Geoffrey
_eauthor
245 1 0 _aMetalogic:
_ban Introduction to the metatheory of standard first order logic/
_cby Geoffrey Hunter
260 3 _aLondon:
_bUniversity of California Press,
_c1971.
300 _axiii, 288p.;
_c24cm.
500 _aState Grant 2016-2017
504 _aIncludes index and references.
650 0 _aMETALOGIC
650 0 _aMETATHEORY
650 0 _aLOGIC
942 _cBK
_2ddc