There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 70

Record: found
Abstract: not found
Book Chapter: not found

Ideas and Results in Proof Theory

Dag Prawitz (1971)

0 comments Cited 47 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Book Chapter: not found

Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types

Jean-Yves Girard (1971)

0 comments Cited 41 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Article: not found

Formal systems for some branches of intuitionistic analysis

G Kreisel, A.S. Troelstra (1970)

0 comments Cited 31 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1986

Pages: 225-339

DOI: 10.1007/978-94-009-5203-4_4

SO-VID: 6a6d4e1e-f132-48e9-9eb7-d1d1c76c1117

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 18

THE LOGIC OF JUSTIFICATION
Authors: SERGEI ARTEMOV
Equilibrium logic
Authors: David M Pearce
Three Types of Polarity
Authors: Frans Zwarts

See all cited by

Intuitionistic Logic

Read this book at

Related collections

ScienceOpen Research

Most cited references 70

Ideas and Results in Proof Theory

Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types

Formal systems for some branches of intuitionistic analysis

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 2,009

Cited by 18