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}
Last edited by Open Library Bot
December 5, 2010 | History
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
Community Reviews (0)
Feedback?
| December 5, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 10, 2009 | Created by WorkBot | add works page |