default search action

combined dblp search
author search
venue search
publication search

ask others

Epistemology versus Ontology 2012

> Home > Series

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - series/leus/Dybjer12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Dybjer12
Peter Dybjer, Sten Lindström, Erik Palmgren, Göran Sundholm:
Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf. Logic, Epistemology, and the Unity of Science 27, Springer 2012, ISBN 978-94-007-4434-9

Philosophy of Logic and Mathematics

- view
  authority control:
- export record
  dblp key:
  - series/leus/Atten12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Atten12
Mark van Atten:
Kant and Real Numbers. 3-23
- view
  authority control:
- export record
  dblp key:
  - series/leus/Floyd12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Floyd12
Juliet Floyd:
Wittgenstein's Diagonal Argument: A Variation on Cantor and Turing. 25-44
- view
  authority control:
- export record
  dblp key:
  - series/leus/Prawitz12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Prawitz12
Dag Prawitz:
Truth and Proof in Intuitionism. 45-67
- view
  authority control:
- export record
  dblp key:
  - series/leus/Sambin12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Sambin12
Giovanni Sambin:
Real and Ideal in Constructive Mathematics. 69-85
- view
  authority control:
- export record
  dblp key:
  - series/leus/Sieg12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Sieg12
Wilfried Sieg:
In the Shadow of Incompleteness: Hilbert and Gentzen. 87-127
- view
  authority control:
- export record
  dblp key:
  - series/leus/Smith12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Smith12
Jan M. Smith:
Evolution and Logic. 129-138
- view
  authority control:
- export record
  dblp key:
  - series/leus/Stenlund12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Stenlund12
Sören Stenlund:
The "Middle Wittgenstein" and Modern Mathematics. 139-159
- view
  authority control:
- export record
  dblp key:
  - series/leus/Tait12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Tait12
William W. Tait:
Primitive Recursive Arithmetic and Its Role in the Foundations of Arithmetic: Historical and Philosophical Reflections. 161-180

Foundations

- view
  authority control:
- export record
  dblp key:
  - series/leus/Awodey12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Awodey12
Steven Awodey:
Type Theory and Homotopy. 183-201
- view
  authority control:
- export record
  dblp key:
  - series/leus/CoquandJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/CoquandJ12
Thierry Coquand, Guilhem Jaber:
A Computational Interpretation of Forcing in Type Theory. 203-213
- view
  authority control:
- export record
  dblp key:
  - series/leus/Dybjer12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Dybjer12a
Peter Dybjer:
Program Testing and the Meaning Explanations of Intuitionistic Type Theory. 215-241
- view
  authority control:
- export record
  dblp key:
  - series/leus/Girard12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Girard12
Jean-Yves Girard:
Normativity in Logic. 243-263
- view
  authority control:
- export record
  dblp key:
  - series/leus/Palmgren12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Palmgren12
Erik Palmgren:
Constructivist Versus Structuralist Foundations. 265-279
- view
  authority control:
- export record
  dblp key:
  - series/leus/Ranta12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Ranta12
Aarne Ranta:
Machine Translation and Type Theory. 281-311
- view
  authority control:
- export record
  dblp key:
  - series/leus/Rathjen12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Rathjen12
Michael Rathjen:
Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions. 313-349
- view
  authority control:
- export record
  dblp key:
  - series/leus/Setzer12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Setzer12
Anton Setzer:
Coalgebras as Types Determined by Their Elimination Rules. 351-369
- view
  authority control:
- export record
  dblp key:
  - series/leus/Vaananen12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/leus/Vaananen12
Jouko A. Väänänen:
Second Order Logic, Set Theory and Foundations of Mathematics. 371-380

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.