product iamge

Formal systems and recursive functions

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): John N Crossley; Michael Dummett
Series: Studies in logic and the foundations of mathematics, v. 40
Publisher: North-Holland, Elsevier Science
Year: 1965

Language: English
Commentary: (no TOC)
Pages: v, 320 p.
City: Amsterdam


Content: 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. Rö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 Schütte --
Remarks on machines, sets, and the decision problem / Hao Wang.