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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444898401

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

First-Order Proof Theory of Arithmetic

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

10.1016/s0049-237x(98)80017-7 ◽

1998 ◽

pp. 79-147 ◽

Cited By ~ 27

Author(s):

Samuel R. Buss

Keyword(s):

Proof Theory ◽

First Order

Download Full-text

Gödel’s Functional (“Dialectica”) Interpretation

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

10.1016/s0049-237x(98)80020-7 ◽

1998 ◽

pp. 337-405 ◽

Cited By ~ 74

Author(s):

Jeremy Avigad ◽

Solomon Feferman

Download Full-text

Series Page

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

10.1016/s0049-237x(98)80061-x ◽

1998 ◽

pp. ii

Download Full-text

Preface

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

10.1016/s0049-237x(98)80014-1 ◽

1998 ◽

pp. v

Author(s):

Sam Buss

Download Full-text

The Logic of Provability

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

10.1016/s0049-237x(98)80022-0 ◽

1998 ◽

pp. 475-546 ◽

Cited By ~ 33

Author(s):

Giorgi Japaridze ◽

Dick de Jongh

Download Full-text

Copyright

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

10.1016/s0049-237x(98)80063-3 ◽

1998 ◽

pp. iv

Download Full-text

An Introduction to Proof Theory

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

10.1016/s0049-237x(98)80016-5 ◽

1998 ◽

pp. 1-78 ◽

Cited By ~ 52

Author(s):

Samuel R. Buss

Keyword(s):

Proof Theory

Download Full-text

List of Contributors

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

10.1016/s0049-237x(98)80015-3 ◽

1998 ◽

pp. vii

Download Full-text

The Lengths of Proofs

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

10.1016/s0049-237x(98)80023-2 ◽

1998 ◽

pp. 547-637 ◽

Cited By ~ 59

Author(s):

Pavel Pudlák

Download Full-text

Types in Logic, Mathematics and Programming

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

10.1016/s0049-237x(98)80025-6 ◽

1998 ◽

pp. 683-786 ◽

Cited By ~ 17

Author(s):

Robert L. Constable

Download Full-text

Studies in Logic and the Foundations of Mathematics - Handbook of Proof TheoryLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

First-Order Proof Theory of Arithmetic

Gödel’s Functional (“Dialectica”) Interpretation

Series Page

Preface

The Logic of Provability

Copyright

An Introduction to Proof Theory

List of Contributors

The Lengths of Proofs

Types in Logic, Mathematics and Programming

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