TY  - BOOK
AU  - Hunter,Geoffrey
TI  - Metalogic: an introduction to the metatheory of standard first order logic
SN  - 0-520-02356-0
PY  - 1973///
CY  - Berkeley, Los Angeles
PB  - University of California Press
N1  - Бібліогр. : c. 262-274, Index
ER  -