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
33
views
0
references
Top references
cited by
35
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,294
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
On Local and Non-Local Properties
edited_book
Author(s):
Haim Gaifman
Publication date
(Print):
1982
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
Primate Tool Use
Author and book information
Book Chapter
Publication date (Print):
1982
Pages
: 105-135
DOI:
10.1016/S0049-237X(08)71879-2
SO-VID:
68549582-e442-4ccf-9cb5-e10f09965d95
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,294
Malignant thrombosis of the superior vena cava caused by non-small-cell lung cancer treated with radiation and erlotinib: a case with complete and prolonged response over 3 years
Authors:
Jianyang Wang
,
Jun Liang
,
Wenqing Wang
…
90Y-ibritumomab therapy in refractory non-Hodgkin's lymphoma: observations from 111In-ibritumomab pretreatment imaging.
Authors:
Andrei Iagaru
,
Sanjiv Gambhir
,
Michael L. Goris
Aerosol-assisted chemical vapour deposited vanadium oxide thin films on nickel foam with auspicious electrochemical water oxidation properties
Authors:
Muhammad Ali Ehsan
,
Abuzar Khan
,
Amir Al-Ahmed
…
See all similar
Cited by
35
On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
Authors:
David Janin
,
Igor Walukiewicz
On the Ehrenfeucht-Fraïssé game in theoretical computer science
Authors:
Wolfgang Thomas
Hypertree Decompositions: A Survey
Authors:
Georg Gottlob
,
Nicola Leone
,
Francesco Scarcello
See all cited by