product iamge

Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963

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 (editors)
Series: Studies in Logic and the Foundations of Mathematics 40
Publisher: North-Holland Publishing Company
Year: 1965

Language: English
Pages: 321

Advisory Editorial Board......Page 1
Edited by......Page 2
Copyright page......Page 3
Preface......Page 4
I. Formal Systems......Page 5
Some Modal Calculi Based On IC......Page 6
The Logic of Interrogatives......Page 11
Some Generalizations and Applications of a Relativization Procedure for Propositional Calculi......Page 15
A Method for Producing Reduction Types in the Restricted Lower Predicate Calculus
......Page 45
Distributive Normal Forms in First-Order Logic......Page 51
Semantical Analysis of Intuitionistic Logic I......Page 95
Set Theory and Higher-Order Logic......Page 134
Existence in Lesniewśki and in Russell......Page 152
Functions and Rogators......Page 159
Infinitely Long Terms of Transfinite Type......Page 179
II. Symposium on Recursive Functions......Page 189
Constructive Order Types, I......Page 190
Multiple Successor Arithmetics......Page 266
Unsolvable Problems in the Theory of Computable Numbers......Page 273
Predicative Well-Orderings......Page 281
Remarks on Machines, Sets, and the Decision Problem......Page 305