The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Uloženo v:
| Hlavní autor: | Benthem, Johan |
|---|---|
| Korporativní autor: | SpringerLink (Online service) |
| Další autoři: | Heinzmann, Gerhard, Rebuschi, Manuel, Visser, Henk |
| Médium: | Elektronický zdroj E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
Dordrecht :
Springer Netherlands,
2006.
|
| Témata: | |
| On-line přístup: | http://dx.doi.org/10.1007/978-1-4020-5012-7 |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Autor: Benthem, Johan
Vydáno: (2006)
Autor: Benthem, Johan
Vydáno: (2006)
Proof, Computation and Agency Logic at the Crossroads /
Autor: van Benthem, Johan
Vydáno: (2011)
Autor: van Benthem, Johan
Vydáno: (2011)
Proof, Computation and Agency Logic at the Crossroads /
Autor: van Benthem, Johan
Vydáno: (2011)
Autor: van Benthem, Johan
Vydáno: (2011)
Constructive Negations and Paraconsistency
Autor: Odintsov, Sergei P.
Vydáno: (2008)
Autor: Odintsov, Sergei P.
Vydáno: (2008)
Constructive Negations and Paraconsistency
Autor: Odintsov, Sergei P.
Vydáno: (2008)
Autor: Odintsov, Sergei P.
Vydáno: (2008)
Truth and Falsehood An Inquiry into Generalized Logical Values /
Autor: Shramko, Yaroslav
Vydáno: (2012)
Autor: Shramko, Yaroslav
Vydáno: (2012)
Truth and Falsehood An Inquiry into Generalized Logical Values /
Autor: Shramko, Yaroslav
Vydáno: (2012)
Autor: Shramko, Yaroslav
Vydáno: (2012)
Games, Norms and Reasons Logic at the Crossroads /
Autor: van Benthem, Johan
Vydáno: (2011)
Autor: van Benthem, Johan
Vydáno: (2011)
Games, Norms and Reasons Logic at the Crossroads /
Autor: van Benthem, Johan
Vydáno: (2011)
Autor: van Benthem, Johan
Vydáno: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
Autor: DeVidi, David
Vydáno: (2011)
Autor: DeVidi, David
Vydáno: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
Autor: DeVidi, David
Vydáno: (2011)
Autor: DeVidi, David
Vydáno: (2011)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Autor: Carnielli, Walter
Vydáno: (2008)
Autor: Carnielli, Walter
Vydáno: (2008)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Autor: Carnielli, Walter
Vydáno: (2008)
Autor: Carnielli, Walter
Vydáno: (2008)
Games: Unifying Logic, Language, and Philosophy
Autor: Majer, Ondrej
Vydáno: (2009)
Autor: Majer, Ondrej
Vydáno: (2009)
Games: Unifying Logic, Language, and Philosophy
Autor: Majer, Ondrej
Vydáno: (2009)
Autor: Majer, Ondrej
Vydáno: (2009)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
Autor: Dybjer, P.
Vydáno: (2012)
Autor: Dybjer, P.
Vydáno: (2012)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
Autor: Dybjer, P.
Vydáno: (2012)
Autor: Dybjer, P.
Vydáno: (2012)
Information and Knowledge A Constructive Type-theoretical Approach /
Autor: Primiero, Giuseppe
Vydáno: (2008)
Autor: Primiero, Giuseppe
Vydáno: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
Autor: Primiero, Giuseppe
Vydáno: (2008)
Autor: Primiero, Giuseppe
Vydáno: (2008)
Advances in Proof-Theoretic Semantics
Vydáno: (2016)
Vydáno: (2016)
Advances in Proof-Theoretic Semantics
Vydáno: (2016)
Vydáno: (2016)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Autor: Lupacchini, Rossella
Vydáno: (2008)
Autor: Lupacchini, Rossella
Vydáno: (2008)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Autor: Lupacchini, Rossella
Vydáno: (2008)
Autor: Lupacchini, Rossella
Vydáno: (2008)
Strict Finitism and the Logic of Mathematical Applications
Autor: Ye, Feng
Vydáno: (2011)
Autor: Ye, Feng
Vydáno: (2011)
Strict Finitism and the Logic of Mathematical Applications
Autor: Ye, Feng
Vydáno: (2011)
Autor: Ye, Feng
Vydáno: (2011)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
Autor: Pagliani, Piero
Vydáno: (2008)
Autor: Pagliani, Piero
Vydáno: (2008)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
Autor: Pagliani, Piero
Vydáno: (2008)
Autor: Pagliani, Piero
Vydáno: (2008)
Handbook of Philosophical Logic
Autor: Gabbay, D.M
Vydáno: (2007)
Autor: Gabbay, D.M
Vydáno: (2007)
Handbook of Philosophical Logic
Autor: Gabbay, D.M
Vydáno: (2007)
Autor: Gabbay, D.M
Vydáno: (2007)
Handbook of Philosophical Logic
Autor: Gabbay, D.M
Vydáno: (2005)
Autor: Gabbay, D.M
Vydáno: (2005)
Handbook of Philosophical Logic
Autor: Gabbay, D.M
Vydáno: (2005)
Autor: Gabbay, D.M
Vydáno: (2005)
Logic and Philosophy of Mathematics in the Early Husserl
Autor: Centrone, Stefania
Vydáno: (2010)
Autor: Centrone, Stefania
Vydáno: (2010)
Logic and Philosophy of Mathematics in the Early Husserl
Autor: Centrone, Stefania
Vydáno: (2010)
Autor: Centrone, Stefania
Vydáno: (2010)
Foundational Theories of Classical and Constructive Mathematics
Autor: Sommaruga, Giovanni
Vydáno: (2011)
Autor: Sommaruga, Giovanni
Vydáno: (2011)
Foundational Theories of Classical and Constructive Mathematics
Autor: Sommaruga, Giovanni
Vydáno: (2011)
Autor: Sommaruga, Giovanni
Vydáno: (2011)
The Arch Papers on the Mathematics of Abstraction
Autor: Cook, Roy T.
Vydáno: (2007)
Autor: Cook, Roy T.
Vydáno: (2007)
The Arch Papers on the Mathematics of Abstraction
Autor: Cook, Roy T.
Vydáno: (2007)
Autor: Cook, Roy T.
Vydáno: (2007)
Between Logic and Reality Modeling Inference, Action and Understanding /
Autor: Trobok, Majda
Vydáno: (2012)
Autor: Trobok, Majda
Vydáno: (2012)
Between Logic and Reality Modeling Inference, Action and Understanding /
Autor: Trobok, Majda
Vydáno: (2012)
Autor: Trobok, Majda
Vydáno: (2012)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
Autor: Devidi, David
Vydáno: (2006)
Autor: Devidi, David
Vydáno: (2006)
Podobné jednotky
-
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Autor: Benthem, Johan
Vydáno: (2006) -
Proof, Computation and Agency Logic at the Crossroads /
Autor: van Benthem, Johan
Vydáno: (2011) -
Proof, Computation and Agency Logic at the Crossroads /
Autor: van Benthem, Johan
Vydáno: (2011) -
Constructive Negations and Paraconsistency
Autor: Odintsov, Sergei P.
Vydáno: (2008) -
Constructive Negations and Paraconsistency
Autor: Odintsov, Sergei P.
Vydáno: (2008)