Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780720422573

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Section E Proof-Theoretic Ordinals

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. 287

Principles of Proof and Ordinals Implicit in Given Concepts

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. 489-516 ◽

Cited By ~ 8

Author(s):

G. Kreisel

Introduction

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. vii-viii

Author(s):

Akiko Kino ◽

John Myhill ◽

Richard Vesley

On Cut Elimination in Intuitionistic Systems of Analysis

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. 271-285 ◽

Cited By ~ 3

Author(s):

B. Scarpellini

Keyword(s):

Cut Elimination

Section C Classical Interpretations of Intuitionism

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. 209

Projections of Lawless Sequences

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. 163-186 ◽

Cited By ~ 5

Author(s):

D. van Dalen ◽

A.S. Troelstra

Extending the Topological Interpretation to Intuitionistic Analysis, II

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. 235-255 ◽

Cited By ~ 9

Author(s):

Dana Scott

Keyword(s):

Topological Interpretation

Hereditarily Replete Functionals Over the Ordinals

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. 289-301 ◽

Cited By ~ 4

Author(s):

Solomon Feferman

Formalization of the Theory of Ordinal Diagrams of Infinite Order

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. 363-376 ◽

Cited By ~ 3

Author(s):

Akiko Kino

Keyword(s):

Infinite Order

Edited by

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics ◽

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

1970 ◽

pp. iii

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Section E Proof-Theoretic Ordinals

Principles of Proof and Ordinals Implicit in Given Concepts

Introduction

On Cut Elimination in Intuitionistic Systems of Analysis

Section C Classical Interpretations of Intuitionism

Projections of Lawless Sequences

Extending the Topological Interpretation to Intuitionistic Analysis, II

Hereditarily Replete Functionals Over the Ordinals

Formalization of the Theory of Ordinal Diagrams of Infinite Order

Edited by

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 - Studies in Logic and the Foundations of Mathematics
Latest Publications