Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Subjects
Calculus, Mathematics, Philosophy, Symbolic and mathematical LogicShowing 3 featured editions. View all 3 editions?
Edition | Availability |
---|---|
1
Two papers on the predicate calculus
1967, American Mathematical Society
electronic resource
in English
- Rev.
0821898892 9780821898895
|
zzzz
Libraries near you:
WorldCat
|
2 |
zzzz
Libraries near you:
WorldCat
|
3 |
aaaa
|
Book Details
Table of Contents
Permutability of inferences in Gentzen's calculi L øK ø and L øJ ø.
Finite axiomatizability of theories in the predicate calculus using additional predicate symbols.
Edition Notes
Cover title.
Bibliography: p. 67-68.
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created September 11, 2008
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
December 15, 2009 | Edited by WorkBot | link works |
September 11, 2008 | Created by ImportBot | Imported from Oregon Libraries MARC record |