Epistemology versus Ontology
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Netherlands

9789400744349, 9789400744356

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

In the Shadow of Incompleteness: Hilbert and Gentzen

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_5 ◽

2012 ◽

pp. 87-127 ◽

Author(s):

Wilfried Sieg

Download Full-text

Machine Translation and Type Theory

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_14 ◽

2012 ◽

pp. 281-311

Author(s):

Aarne Ranta

Keyword(s):

Machine Translation ◽

Download Full-text

Evolution and Logic

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_6 ◽

2012 ◽

pp. 129-138 ◽

Author(s):

Jan M. Smith

Download Full-text

Coalgebras as Types Determined by Their Elimination Rules

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_16 ◽

2012 ◽

pp. 351-369 ◽

Author(s):

Anton Setzer

Download Full-text

A Computational Interpretation of Forcing in Type Theory

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_10 ◽

2012 ◽

pp. 203-213 ◽

Author(s):

Thierry Coquand ◽

Guilhem Jaber

Keyword(s):

Download Full-text

Constructivist Versus Structuralist Foundations

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_13 ◽

2012 ◽

pp. 265-279

Author(s):

Erik Palmgren

Download Full-text

Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_15 ◽

2012 ◽

pp. 313-349 ◽

Author(s):

Michael Rathjen

Keyword(s):

Power Set ◽

Calculus Of Constructions

Download Full-text

Kant and Real Numbers

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_1 ◽

2012 ◽

pp. 3-23 ◽

Author(s):

Mark van Atten

Keyword(s):

Download Full-text

Program Testing and the Meaning Explanations of Intuitionistic Type Theory

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_11 ◽

2012 ◽

pp. 215-241 ◽

Author(s):

Peter Dybjer

Keyword(s):

Type Theory ◽

Program Testing

Download Full-text

Second Order Logic, Set Theory and Foundations of Mathematics

Epistemology versus Ontology ◽

10.1007/978-94-007-4435-6_17 ◽

2012 ◽

pp. 371-380 ◽

Author(s):

Jouko Väänänen

Keyword(s):

Second Order ◽

Order Logic ◽

Foundations Of Mathematics ◽

Second Order Logic

Download Full-text