1 |
v. 3
The age of alternative logics : assessing philosophy of logic and mathematics today / edited by Johan van Benthem ... [et al.]
: PB. - Dordrecht : Springer , c2009
|
2 |
10
Information and knowledge : a constructive type-theoretical approach / by Giuseppe Primiero
Dordrecht : Springer , c2008
|
3 |
13
Leibniz : what kind of rationalist? / edited by Marcelo Dascal
Dordrecht : Springer , c2008
|
4 |
v. 14
From a geometrical point of view : a study of the history and philosophy of category theory / by Jean-Pierre Marquis
[Dordrecht] : Springer , c2009
|
5 |
15
Games : unifying logic, language, and philosophy / edited by Ondrej Majer, Ahti-Veikko Pietarinen, Tero Tulenheimo
: hbk. - Dordrecht ; London : Springer , 2009
|
6 |
v. 17
Procedural semantics for hyperintensional logic : foundations and applications of transparent intensional logic / Marie Duží, Bjorn Jespersen, Pavel Materna
Dordrecht : Springer , c2010
|
7 |
v. 22
Treatise on intuitionistic type theory / Johan Georg Granström
: pbk. - New York : Springer , c2011
|
8 |
v. 27
Epistemology versus ontology : essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf / Peter Dybjer ... [et al.], editors
Dordrecht : Springer , c2012
|
9 |
v. 29
The nature of truth : an updated approach to the meaning of truth ascriptions / María José Frápolli
Dordrecht : Springer , c2013
|
10 |
v. 44
Constructive semantics : meaning in between phenomenology and constructivism / Christina Weiss, editor
Cham : Springer , c2019
|