1 option
Metalogic, an introduction to the metatheory of standard first order logic.
LIBRA BC128 .H85 1971
Available from offsite location
- Format:
- Book
- Author/Creator:
- Hunter, Geoffrey.
- Language:
- English
- Subjects (All):
- First-order logic.
- Physical Description:
- xiii, 288 pages : illustrations ; 23 cm
- Place of Publication:
- Berkeley : University of California Press, 1971.
- Notes:
- Bibliography: pages [262]-274.
- ISBN:
- 0520018222
- OCLC:
- 139234
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.