000 00492nam a2200181Ia 4500
005 20250423094438.0
008 250422s9999 xx 000 0 und d
020 _a0-520-02356-0
050 _aBC 128 .H85/
100 _aGeoffrey Hunter
245 3 _aAn Introduction to the Metatheory of Standard First Order Logic
260 _aLos Angeles
260 _bUniversity of California Press
260 _c1973
300 _a288 p
650 _aProof of the Consistency of QS
942 _cBK
999 _c27261
_d27261