Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780720422597

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 179-216 ◽

Cited By ~ 71

Author(s):

Per Martin-Löf

Keyword(s):

Inductive Definitions ◽

Intuitionistic Theory

Download Full-text

A Normalform in First Order Arithmetic

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 93-108 ◽

Cited By ~ 4

Author(s):

Herman R. Jervell

Keyword(s):

First Order ◽

Order Arithmetic

Download Full-text

Embeddings into Semigroups with Only a Few Defining Relations

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 27-40 ◽

Cited By ~ 3

Author(s):

W.W. Boone ◽

D.J. Collins ◽

Yu. V. Matijasevič

Keyword(s):

Defining Relations

Download Full-text

A Survey of Proof Theory II

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70845-0 ◽

1971 ◽

pp. 109-170 ◽

Cited By ~ 35

Author(s):

G. Kreisel

Keyword(s):

Proof Theory

Download Full-text

Preface

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. v

Download Full-text

Edited by

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. iii

Download Full-text

Predicate-Functor Logics(*)

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 309-315 ◽

Cited By ~ 11

Author(s):

W.V. Quine

Download Full-text

Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 369-405 ◽

Cited By ~ 14

Author(s):

A.S. Troelstra

Keyword(s):

Intuitionistic Arithmetic

Download Full-text

Qualitative Probability in a Modal Setting

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

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

1971 ◽

pp. 341-352 ◽

Cited By ~ 23

Author(s):

Krister Segerberg

Keyword(s):

Qualitative Probability

Download Full-text

Diophantine Representation of Recursively Enumerable Predicates

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)70846-2 ◽

1971 ◽

pp. 171-177 ◽

Cited By ~ 10

Author(s):

Yu. V. Matijasevič

Keyword(s):

Recursively Enumerable ◽

Diophantine Representation

Download Full-text

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions

A Normalform in First Order Arithmetic

Embeddings into Semigroups with Only a Few Defining Relations

A Survey of Proof Theory II

Preface

Edited by

Predicate-Functor Logics(*)

Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types

Qualitative Probability in a Modal Setting

Diophantine Representation of Recursively Enumerable Predicates

Proceedings of the Second Scandinavian Logic Symposium - Studies in Logic and the Foundations of Mathematics
Latest Publications