Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444534057

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Method for Producing Reduction Types in the Restricted Lower Predicate Calculus

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71683-5 ◽

1965 ◽

pp. 42-47

Author(s):

H. Hermes ◽

D. Rödding

Keyword(s):

Predicate Calculus

Download Full-text

Some Modal Calculi Based On IC

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71680-x ◽

1965 ◽

pp. 3-7 ◽

Cited By ~ 11

Author(s):

R.A. Bull

Download Full-text

Constructive Order Types, I

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71691-4 ◽

1965 ◽

pp. 189-264 ◽

Cited By ~ 12

Author(s):

John N. Crossley

Keyword(s):

Order Types

Download Full-text

Distributive Normal Forms in First-Order Logic

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71684-7 ◽

1965 ◽

pp. 48-91 ◽

Cited By ~ 12

Author(s):

Jaakko Hintikka

Keyword(s):

Normal Forms ◽

Order Logic ◽

First Order Logic ◽

First Order

Download Full-text

Functions and Rogators

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71688-4 ◽

1965 ◽

pp. 156-175 ◽

Cited By ~ 1

Author(s):

A. Sloman

Download Full-text

Multiple Successor Arithmetics

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71692-6 ◽

1965 ◽

pp. 265-271 ◽

Cited By ~ 1

Author(s):

R.L. Goodstein

Download Full-text

Remarks on Machines, Sets, and the Decision Problem

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71695-1 ◽

1965 ◽

pp. 304-320 ◽

Cited By ~ 2

Author(s):

Hao Wang

Keyword(s):

Decision Problem

Download Full-text

Semantical Analysis of Intuitionistic Logic I

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71685-9 ◽

1965 ◽

pp. 92-130 ◽

Cited By ~ 203

Author(s):

Saul A. Kripke

Keyword(s):

Intuitionistic Logic ◽

Semantical Analysis

Download Full-text

Some Generalizations and Applications of a Relativization Procedure for Propositional Calculi

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71682-3 ◽

1965 ◽

pp. 12-41

Author(s):

Ronald Harrop

Keyword(s):

Propositional Calculi

Download Full-text

Edited by

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71676-8 ◽

1965 ◽

pp. iii

Download Full-text

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

A Method for Producing Reduction Types in the Restricted Lower Predicate Calculus

Some Modal Calculi Based On IC

Constructive Order Types, I

Distributive Normal Forms in First-Order Logic

Functions and Rogators

Multiple Successor Arithmetics

Remarks on Machines, Sets, and the Decision Problem

Semantical Analysis of Intuitionistic Logic I

Some Generalizations and Applications of a Relativization Procedure for Propositional Calculi

Edited by

Formal Systems and Recursive Functions - Studies in Logic and the Foundations of Mathematics
Latest Publications