Keywords:
Recursive functions Congresses
;
Logic, Symbolic and mathematical Congresses
;
Congresses
;
Logic, Symbolic and mathematical Congresses
;
Recursive functions Congresses
;
Logic, Symbolic and mathematical Congresses
;
Recursive functions Congresses
;
Fonctions récursives ; Congrès
;
Logique symbolique et mathématique ; Congrès
;
Conference papers and proceedings
;
Logic, Symbolic and mathematical
;
Recursive functions
;
Conference papers and proceedings
;
Electronic books
;
Electronic books Conference proceedings
;
Konferenzschrift
Description / 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. 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
Type of Medium:
Online Resource
Pages:
Online Ressource (v, 320 p.)
Edition:
Online-Ausg. 2011 Electronic reproduction
ISBN:
0444534059
,
9780444534057
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 40
URL:
http://www.sciencedirect.com/science/book/9780444534057
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/40
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/40
DDC:
511.352
Language:
English
Note:
Includes bibliographical references. - Description based on print version record
,
Some modal calculi based on IC / R.A. BullLogic 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.
,
Some modal calculi based on IC
,
Logic of interrogatives
,
Some generalizations and applications of a relativization procedure for propositional calculi
,
Method for producing reduction types in the restricted lower predicate calculus
,
Distributive normal forms in first-order logic
,
Semantical analysis of intuitionistic logic I
,
Set theory and higher-order logic
,
Existence in Lesniewski and in Russell
,
Functions and rogators
,
Infinitely long terms of transfinite type
,
Constructive order types, I
,
Multiple successor arithmetics
,
Unsolvable problems in the theory of computable numbers
,
Predicative well-orderings
,
Remarks on machines, sets, and the decision problem
,
Electronic reproduction
Permalink