The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
保存先:
| 第一著者: | |
|---|---|
| 団体著者: | |
| その他の著者: | , , |
| フォーマット: | 電子媒体 eBook |
| 言語: | 英語 |
| 出版事項: |
Dordrecht :
Springer Netherlands,
2006.
|
| 主題: | |
| オンライン･アクセス: | http://dx.doi.org/10.1007/978-1-4020-5012-7 |
| タグ: |
タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
|
類似資料
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
著者:: Benthem, Johan
出版事項: (2006)
著者:: Benthem, Johan
出版事項: (2006)
Proof, Computation and Agency Logic at the Crossroads /
著者:: van Benthem, Johan
出版事項: (2011)
著者:: van Benthem, Johan
出版事項: (2011)
Proof, Computation and Agency Logic at the Crossroads /
著者:: van Benthem, Johan
出版事項: (2011)
著者:: van Benthem, Johan
出版事項: (2011)
Constructive Negations and Paraconsistency
著者:: Odintsov, Sergei P.
出版事項: (2008)
著者:: Odintsov, Sergei P.
出版事項: (2008)
Constructive Negations and Paraconsistency
著者:: Odintsov, Sergei P.
出版事項: (2008)
著者:: Odintsov, Sergei P.
出版事項: (2008)
Truth and Falsehood An Inquiry into Generalized Logical Values /
著者:: Shramko, Yaroslav
出版事項: (2012)
著者:: Shramko, Yaroslav
出版事項: (2012)
Truth and Falsehood An Inquiry into Generalized Logical Values /
著者:: Shramko, Yaroslav
出版事項: (2012)
著者:: Shramko, Yaroslav
出版事項: (2012)
Games, Norms and Reasons Logic at the Crossroads /
著者:: van Benthem, Johan
出版事項: (2011)
著者:: van Benthem, Johan
出版事項: (2011)
Games, Norms and Reasons Logic at the Crossroads /
著者:: van Benthem, Johan
出版事項: (2011)
著者:: van Benthem, Johan
出版事項: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
著者:: DeVidi, David
出版事項: (2011)
著者:: DeVidi, David
出版事項: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
著者:: DeVidi, David
出版事項: (2011)
著者:: DeVidi, David
出版事項: (2011)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
著者:: Carnielli, Walter
出版事項: (2008)
著者:: Carnielli, Walter
出版事項: (2008)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
著者:: Carnielli, Walter
出版事項: (2008)
著者:: Carnielli, Walter
出版事項: (2008)
Games: Unifying Logic, Language, and Philosophy
著者:: Majer, Ondrej
出版事項: (2009)
著者:: Majer, Ondrej
出版事項: (2009)
Games: Unifying Logic, Language, and Philosophy
著者:: Majer, Ondrej
出版事項: (2009)
著者:: Majer, Ondrej
出版事項: (2009)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
著者:: Dybjer, P.
出版事項: (2012)
著者:: Dybjer, P.
出版事項: (2012)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
著者:: Dybjer, P.
出版事項: (2012)
著者:: Dybjer, P.
出版事項: (2012)
Information and Knowledge A Constructive Type-theoretical Approach /
著者:: Primiero, Giuseppe
出版事項: (2008)
著者:: Primiero, Giuseppe
出版事項: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
著者:: Primiero, Giuseppe
出版事項: (2008)
著者:: Primiero, Giuseppe
出版事項: (2008)
Advances in Proof-Theoretic Semantics
出版事項: (2016)
出版事項: (2016)
Advances in Proof-Theoretic Semantics
出版事項: (2016)
出版事項: (2016)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
著者:: Lupacchini, Rossella
出版事項: (2008)
著者:: Lupacchini, Rossella
出版事項: (2008)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
著者:: Lupacchini, Rossella
出版事項: (2008)
著者:: Lupacchini, Rossella
出版事項: (2008)
Strict Finitism and the Logic of Mathematical Applications
著者:: Ye, Feng
出版事項: (2011)
著者:: Ye, Feng
出版事項: (2011)
Strict Finitism and the Logic of Mathematical Applications
著者:: Ye, Feng
出版事項: (2011)
著者:: Ye, Feng
出版事項: (2011)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
著者:: Pagliani, Piero
出版事項: (2008)
著者:: Pagliani, Piero
出版事項: (2008)
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
著者:: Pagliani, Piero
出版事項: (2008)
著者:: Pagliani, Piero
出版事項: (2008)
Handbook of Philosophical Logic
著者:: Gabbay, D.M
出版事項: (2007)
著者:: Gabbay, D.M
出版事項: (2007)
Handbook of Philosophical Logic
著者:: Gabbay, D.M
出版事項: (2007)
著者:: Gabbay, D.M
出版事項: (2007)
Handbook of Philosophical Logic
著者:: Gabbay, D.M
出版事項: (2005)
著者:: Gabbay, D.M
出版事項: (2005)
Handbook of Philosophical Logic
著者:: Gabbay, D.M
出版事項: (2005)
著者:: Gabbay, D.M
出版事項: (2005)
Logic and Philosophy of Mathematics in the Early Husserl
著者:: Centrone, Stefania
出版事項: (2010)
著者:: Centrone, Stefania
出版事項: (2010)
Logic and Philosophy of Mathematics in the Early Husserl
著者:: Centrone, Stefania
出版事項: (2010)
著者:: Centrone, Stefania
出版事項: (2010)
Foundational Theories of Classical and Constructive Mathematics
著者:: Sommaruga, Giovanni
出版事項: (2011)
著者:: Sommaruga, Giovanni
出版事項: (2011)
Foundational Theories of Classical and Constructive Mathematics
著者:: Sommaruga, Giovanni
出版事項: (2011)
著者:: Sommaruga, Giovanni
出版事項: (2011)
The Arch Papers on the Mathematics of Abstraction
著者:: Cook, Roy T.
出版事項: (2007)
著者:: Cook, Roy T.
出版事項: (2007)
The Arch Papers on the Mathematics of Abstraction
著者:: Cook, Roy T.
出版事項: (2007)
著者:: Cook, Roy T.
出版事項: (2007)
Between Logic and Reality Modeling Inference, Action and Understanding /
著者:: Trobok, Majda
出版事項: (2012)
著者:: Trobok, Majda
出版事項: (2012)
Between Logic and Reality Modeling Inference, Action and Understanding /
著者:: Trobok, Majda
出版事項: (2012)
著者:: Trobok, Majda
出版事項: (2012)
A logical Approach to Philosophy Essays in Honour of Graham Solomon /
著者:: Devidi, David
出版事項: (2006)
著者:: Devidi, David
出版事項: (2006)