Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
50
views
0
references
Top references
cited by
41
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,506
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
The L. E. J. Brouwer Centenary Symposium, Proceedings of the Conference held in Noordwijkerhout
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
edited_book
Author(s):
Jean-Yves Girard
Publication date
(Print):
1971
Publisher:
Elsevier
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
Relief - Revue électronique de littérature française
Author and book information
Book Chapter
Publication date (Print):
1971
Pages
: 63-92
DOI:
10.1016/S0049-237X(08)70843-7
SO-VID:
54ad0303-41e0-4330-a5c6-764f6e583cf2
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. vii
Preface
pp. vii
Preface
pp. 1
The Type Theoretic Interpretation of Constructive Set Theory: Choice Principles
pp. 5
An Introduction to First-Order Logic
pp. 11
Epistemic and Intuitionistic Arithmetic
pp. 15
Some Connections Between Elementary and Modal Logic
pp. 33
A Basis for a Mathematical Theory of Computation)
pp. 55
The Type Theoretic Interpretation of Constructive Set Theory
pp. 63
Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
pp. 68
3. Investigations into Logical Deduction
pp. 73
An Intuitionistic Theory of Types: Predicative Part
pp. 91
Notions of Choice Sequence
pp. 92
Semantical Analysis of Intuitionistic Logic I
pp. 98
Quelques Remarques, Théorèmes Et Problèmes Sur Les Classes Définissables D'algèbres
pp. 105
On Local and Non-Local Properties
pp. 107
Formal Spaces
pp. 110
Completeness and Correspondence in the First and Second Order Semantics for Modal Logic
pp. 118
The Algebraic Theory of Context-Free Languages
pp. 149
A Note on Bar Induction Rule
pp. 153
Constructive Mathematics and Computer Programming
pp. 165
The Effective Topos
pp. 179
Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions
pp. 191
Degrees of Functions with no Fixed Points
pp. 217
Constructive Logic Versus Algebraization I
pp. 221
Geometry of Interaction 1: Interpretation of System F
pp. 235
Ideas and Results in Proof Theory
pp. 266
The Foundations of Classical Mechanics in the Light of Recent Advances in Continuum Mechanics
pp. 283
An Approach to Constructive Mathematical Logic
pp. 337
Gödel’s Functional (“Dialectica”) Interpretation
pp. 453
Complexity of Normalization in the Pure Typed Lambda – Calculus
pp. 459
Nonstandard Models and Constructivity
pp. 571
Informational Independence as a Semantical Phenomenon
pp. 631
Degrees of Unsolvability: A Survey of Results
pp. 739
An Introduction to Inductive Definitions
pp. 821
The Incompleteness Theorems
pp. 1133
A Mathematical Incompleteness in Peano Arithmetic
Similar content
4,506
Étude théorique des réactions de coupure de quelques composés magnésiens typiques
Authors:
Maurice Astier
,
Philippe Millie
Coupure de liaisons silicium—carbone par des complexes du platine(II)
Authors:
D Mansuy
,
J Pusset
,
J.C. Chottard
Empathie, contagion émotionnelle et coupure par rapport aux émotions : validation d’un test pour repérer et aider des élèves à risque
Authors:
D. Favre
,
J Joly
,
C Reynaud
…
See all similar
Cited by
41
A language and axioms for explicit mathematics
Authors:
Solomon Feferman
Intuitionistic Logic
Authors:
Dirk van Dalen
Cut-elimination for a logic with definitions and induction
Authors:
Raymond C. McDowell
,
Dale Miller
See all cited by