Proof Theory - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Elsevier

9780444104922

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter 6 Some Applications of Consistency Proofs

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 348-368

Keyword(s):

Consistency Proofs

Download Full-text

Chapter 5 Consistency Proofs

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 288-347

Keyword(s):

Consistency Proofs

Download Full-text

Chapter 4 Infinitary Logic

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 188-284

Keyword(s):

Infinitary Logic

Download Full-text

Chapter 3 Second Order Systems and Simple type Theory

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 134-187

Keyword(s):

Type Theory ◽

Second Order ◽

Simple Type ◽

Simple Type Theory ◽

Second Order Systems

Download Full-text

Index

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 369-372

Download Full-text

Edited by

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. iii

Download Full-text

Preface

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. v

Download Full-text

Copyright page

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. iv

Download Full-text

Chapter 1 First Order Predicate Calculus

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 5-67

Keyword(s):

Predicate Calculus ◽

First Order ◽

Order Predicate Calculus

Download Full-text

Chapter 2 Peano Arithmetic

Proof Theory - Studies in Logic and the Foundations of Mathematics ◽

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

1975 ◽

pp. 68-126

Keyword(s):

Peano Arithmetic

Download Full-text