The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Gorde:
| Egile nagusia: | Benthem, Johan |
|---|---|
| Erakunde egilea: | SpringerLink (Online service) |
| Beste egile batzuk: | Heinzmann, Gerhard, Rebuschi, Manuel, Visser, Henk |
| Formatua: | Baliabide elektronikoa eBook |
| Hizkuntza: | ingelesa |
| Argitaratua: |
Dordrecht :
Springer Netherlands,
2006.
|
| Gaiak: | |
| Sarrera elektronikoa: | http://dx.doi.org/10.1007/978-1-4020-5012-7 |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
- Aleari buruzko argibideak
- Deskribapena
- Iruzkinak
- Beste bertsio batzuk (1)
- Antzeko izenburuak
- MARC erregistroa
Antzeko izenburuak
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
nork: Benthem, Johan
Argitaratua: (2006)
nork: Benthem, Johan
Argitaratua: (2006)
Proof, Computation and Agency Logic at the Crossroads /
nork: van Benthem, Johan
Argitaratua: (2011)
nork: van Benthem, Johan
Argitaratua: (2011)
Proof, Computation and Agency Logic at the Crossroads /
nork: van Benthem, Johan
Argitaratua: (2011)
nork: van Benthem, Johan
Argitaratua: (2011)
Constructive Negations and Paraconsistency
nork: Odintsov, Sergei P.
Argitaratua: (2008)
nork: Odintsov, Sergei P.
Argitaratua: (2008)
Constructive Negations and Paraconsistency
nork: Odintsov, Sergei P.
Argitaratua: (2008)
nork: Odintsov, Sergei P.
Argitaratua: (2008)
Truth and Falsehood An Inquiry into Generalized Logical Values /
nork: Shramko, Yaroslav
Argitaratua: (2012)
nork: Shramko, Yaroslav
Argitaratua: (2012)
Truth and Falsehood An Inquiry into Generalized Logical Values /
nork: Shramko, Yaroslav
Argitaratua: (2012)
nork: Shramko, Yaroslav
Argitaratua: (2012)
Games, Norms and Reasons Logic at the Crossroads /
nork: van Benthem, Johan
Argitaratua: (2011)
nork: van Benthem, Johan
Argitaratua: (2011)
Games, Norms and Reasons Logic at the Crossroads /
nork: van Benthem, Johan
Argitaratua: (2011)
nork: van Benthem, Johan
Argitaratua: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
nork: DeVidi, David
Argitaratua: (2011)
nork: DeVidi, David
Argitaratua: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
nork: DeVidi, David
Argitaratua: (2011)
nork: DeVidi, David
Argitaratua: (2011)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
nork: Carnielli, Walter
Argitaratua: (2008)
nork: Carnielli, Walter
Argitaratua: (2008)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
nork: Carnielli, Walter
Argitaratua: (2008)
nork: Carnielli, Walter
Argitaratua: (2008)
Games: Unifying Logic, Language, and Philosophy
nork: Majer, Ondrej
Argitaratua: (2009)
nork: Majer, Ondrej
Argitaratua: (2009)
Games: Unifying Logic, Language, and Philosophy
nork: Majer, Ondrej
Argitaratua: (2009)
nork: Majer, Ondrej
Argitaratua: (2009)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
nork: Dybjer, P.
Argitaratua: (2012)
nork: Dybjer, P.
Argitaratua: (2012)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
nork: Dybjer, P.
Argitaratua: (2012)
nork: Dybjer, P.
Argitaratua: (2012)
Information and Knowledge A Constructive Type-theoretical Approach /
nork: Primiero, Giuseppe
Argitaratua: (2008)
nork: Primiero, Giuseppe
Argitaratua: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
nork: Primiero, Giuseppe
Argitaratua: (2008)
nork: Primiero, Giuseppe
Argitaratua: (2008)
Advances in Proof-Theoretic Semantics
Argitaratua: (2016)
Argitaratua: (2016)
Advances in Proof-Theoretic Semantics
Argitaratua: (2016)
Argitaratua: (2016)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
nork: Lupacchini, Rossella
Argitaratua: (2008)
nork: Lupacchini, Rossella
Argitaratua: (2008)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
nork: Lupacchini, Rossella
Argitaratua: (2008)
nork: Lupacchini, Rossella
Argitaratua: (2008)
Strict Finitism and the Logic of Mathematical Applications
nork: Ye, Feng
Argitaratua: (2011)
nork: Ye, Feng
Argitaratua: (2011)
Strict Finitism and the Logic of Mathematical Applications
nork: Ye, Feng
Argitaratua: (2011)
nork: Ye, Feng
Argitaratua: (2011)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
nork: Pagliani, Piero
Argitaratua: (2008)
nork: Pagliani, Piero
Argitaratua: (2008)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
nork: Pagliani, Piero
Argitaratua: (2008)
nork: Pagliani, Piero
Argitaratua: (2008)
Handbook of Philosophical Logic
nork: Gabbay, D.M
Argitaratua: (2007)
nork: Gabbay, D.M
Argitaratua: (2007)
Handbook of Philosophical Logic
nork: Gabbay, D.M
Argitaratua: (2007)
nork: Gabbay, D.M
Argitaratua: (2007)
Handbook of Philosophical Logic
nork: Gabbay, D.M
Argitaratua: (2005)
nork: Gabbay, D.M
Argitaratua: (2005)
Handbook of Philosophical Logic
nork: Gabbay, D.M
Argitaratua: (2005)
nork: Gabbay, D.M
Argitaratua: (2005)
Logic and Philosophy of Mathematics in the Early Husserl
nork: Centrone, Stefania
Argitaratua: (2010)
nork: Centrone, Stefania
Argitaratua: (2010)
Logic and Philosophy of Mathematics in the Early Husserl
nork: Centrone, Stefania
Argitaratua: (2010)
nork: Centrone, Stefania
Argitaratua: (2010)
Foundational Theories of Classical and Constructive Mathematics
nork: Sommaruga, Giovanni
Argitaratua: (2011)
nork: Sommaruga, Giovanni
Argitaratua: (2011)
Foundational Theories of Classical and Constructive Mathematics
nork: Sommaruga, Giovanni
Argitaratua: (2011)
nork: Sommaruga, Giovanni
Argitaratua: (2011)
The Arch Papers on the Mathematics of Abstraction
nork: Cook, Roy T.
Argitaratua: (2007)
nork: Cook, Roy T.
Argitaratua: (2007)
The Arch Papers on the Mathematics of Abstraction
nork: Cook, Roy T.
Argitaratua: (2007)
nork: Cook, Roy T.
Argitaratua: (2007)
Between Logic and Reality Modeling Inference, Action and Understanding /
nork: Trobok, Majda
Argitaratua: (2012)
nork: Trobok, Majda
Argitaratua: (2012)
Between Logic and Reality Modeling Inference, Action and Understanding /
nork: Trobok, Majda
Argitaratua: (2012)
nork: Trobok, Majda
Argitaratua: (2012)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
nork: Devidi, David
Argitaratua: (2006)
nork: Devidi, David
Argitaratua: (2006)
Antzeko izenburuak
-
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
nork: Benthem, Johan
Argitaratua: (2006) -
Proof, Computation and Agency Logic at the Crossroads /
nork: van Benthem, Johan
Argitaratua: (2011) -
Proof, Computation and Agency Logic at the Crossroads /
nork: van Benthem, Johan
Argitaratua: (2011) -
Constructive Negations and Paraconsistency
nork: Odintsov, Sergei P.
Argitaratua: (2008) -
Constructive Negations and Paraconsistency
nork: Odintsov, Sergei P.
Argitaratua: (2008)