Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Formal systems and recursive functions
1965, North-Holland
electronic resource /
in English
0444534059 9780444534057
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Table of Contents
Some modal calculi based on IC / R.A. Bull
Logic of interrogatives / M.J. Cresswell
Some generalizations and applications of a relativization procedure for propositional calculi / Ronald Harrop
Method for producing reduction types in the restricted lower predicate calculus / H. Hermes, D. Ro dding
Distributive normal forms in first-order logic / Jaakko Hintikka
Semantical analysis of intuitionistic logic I / Saul A. Kripke
Set theory and higher-order logic / Richard Montague
Existence in Lesniewski and in Russell / A.N. Prior
Functions and rogators / A. Sloman
Infinitely long terms of transfinite type / W.W. Tait
Constructive order types, I / John N. Crossley
Multiple successor arithmetics / R.L. Goodstein
Unsolvable problems in the theory of computable numbers / B.H. Mayoh
Predicative well-orderings / Kurt Schu tte
Remarks on machines, sets, and the decision problem / Hao Wang.
Edition Notes
Includes bibliographical references.
Description based on print version record.
Classifications
External Links
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created July 29, 2014
- 2 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
June 30, 2019 | Edited by MARC Bot | import existing book |
July 29, 2014 | Created by ImportBot | Imported from Internet Archive item record |