An edition of An Herebrand [i.e. Herbrand] theorem for higher order logic
(1971)
An Herebrand [i.e. Herbrand] theorem for higher order logic
by Herman Ruge Jervell
- 0 Ratings
- 0 Want to read
- 0 Currently reading
- 0 Have read
Share
×Close
![Cover of: An Herebrand [i.e. Herbrand] theorem for higher order logic by Herman Ruge Jervell](/images/icons/avatar_book.png){kind=icon}
This edition doesn't have a description yet. Can you add one?
Buy this book
Subjects
Predicate calculusShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
![Cover of: An Herebrand [i.e. Herbrand] theorem for higher order logic](/images/icons/avatar_book-sm.png "Cover of: An Herebrand [i.e. Herbrand] theorem for higher order logic"){kind=icon}
An Herebrand [i.e. Herbrand] theorem for higher order logic
1971, Universitetet i Oslo, Matematisk institutt
in English
|
aaaa
|
Book Details
Edition Notes
Bibliography: leaf 29.
Title from p. [4] of cover.
Classifications
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?
History
- Created April 1, 2008
- 3 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| October 9, 2020 | Edited by MARC Bot | import existing book |
| December 14, 2009 | Edited by WorkBot | link works |
| April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record |