Metalogic : an introduction to the metatheory of standard first order logic / Geoffrey Hunter.
By: Hunter, Geoffrey.
Material type:
TextSeries: Campus 91. Publisher: Berkeley ; Los Angeles : University of California Press, 1973. Description: xiii, 288 p. tab., schem. 23 cm.ISBN: 0-520-02356-0.
| Item type | Current library | Call number | Materials specified | Status | Barcode | |
|---|---|---|---|---|---|---|
| Книга | Сховище дослідницьке | BC128 .H86 1973 (Browse shelf(Opens below)) | I | Available | 1067416 |
Browsing Сховище дослідницьке shelves Close shelf browser (Hides shelf browser)
| BC116 .Z46 2002 Вступ до сучасної логіки | BC122 .H44 1989 Isagoge in die phänomenologische Apophantik | BC122 .H8713 1969 Formal and transcendental logic | BC128 .H86 1973 Metalogic | BC128 .P45 1993 A philosophical companion to first-order logic | BC135 .A57 1971 An introduction to Wittgenstein's Tractatus | BC135 .B48 1962 Formal methods |
Бібліогр. : c. 262-274, Index
There are no comments on this title.
Log in to your account to post a comment.
