A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
Kaydedildi:
| Yazar: | |
|---|---|
| Müşterek Yazar: | |
| Diğer Yazarlar: | |
| Materyal Türü: | Elektronik Ekitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Dordrecht :
Springer Netherlands,
2008.
|
| Seri Bilgileri: | Trends in Logic, Studia Logica Library ;
27 |
| Konular: | |
| Online Erişim: | http://dx.doi.org/10.1007/978-1-4020-8622-9 |
| Etiketler: |
Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
|
Benzer Materyaller
A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
Yazar:: Pagliani, Piero
Baskı/Yayın Bilgisi: (2008)
Yazar:: Pagliani, Piero
Baskı/Yayın Bilgisi: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
Yazar:: Primiero, Giuseppe
Baskı/Yayın Bilgisi: (2008)
Yazar:: Primiero, Giuseppe
Baskı/Yayın Bilgisi: (2008)
Information and Knowledge A Constructive Type-theoretical Approach /
Yazar:: Primiero, Giuseppe
Baskı/Yayın Bilgisi: (2008)
Yazar:: Primiero, Giuseppe
Baskı/Yayın Bilgisi: (2008)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
Yazar:: Dybjer, P.
Baskı/Yayın Bilgisi: (2012)
Yazar:: Dybjer, P.
Baskı/Yayın Bilgisi: (2012)
Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
Yazar:: Dybjer, P.
Baskı/Yayın Bilgisi: (2012)
Yazar:: Dybjer, P.
Baskı/Yayın Bilgisi: (2012)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
Yazar:: DeVidi, David
Baskı/Yayın Bilgisi: (2011)
Yazar:: DeVidi, David
Baskı/Yayın Bilgisi: (2011)
Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
Yazar:: DeVidi, David
Baskı/Yayın Bilgisi: (2011)
Yazar:: DeVidi, David
Baskı/Yayın Bilgisi: (2011)
Advances in Proof-Theoretic Semantics
Baskı/Yayın Bilgisi: (2016)
Baskı/Yayın Bilgisi: (2016)
Advances in Proof-Theoretic Semantics
Baskı/Yayın Bilgisi: (2016)
Baskı/Yayın Bilgisi: (2016)
Truth and Falsehood An Inquiry into Generalized Logical Values /
Yazar:: Shramko, Yaroslav
Baskı/Yayın Bilgisi: (2012)
Yazar:: Shramko, Yaroslav
Baskı/Yayın Bilgisi: (2012)
Truth and Falsehood An Inquiry into Generalized Logical Values /
Yazar:: Shramko, Yaroslav
Baskı/Yayın Bilgisi: (2012)
Yazar:: Shramko, Yaroslav
Baskı/Yayın Bilgisi: (2012)
Constructive Negations and Paraconsistency
Yazar:: Odintsov, Sergei P.
Baskı/Yayın Bilgisi: (2008)
Yazar:: Odintsov, Sergei P.
Baskı/Yayın Bilgisi: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Yazar:: Benthem, Johan
Baskı/Yayın Bilgisi: (2006)
Yazar:: Benthem, Johan
Baskı/Yayın Bilgisi: (2006)
Constructive Negations and Paraconsistency
Yazar:: Odintsov, Sergei P.
Baskı/Yayın Bilgisi: (2008)
Yazar:: Odintsov, Sergei P.
Baskı/Yayın Bilgisi: (2008)
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Yazar:: Benthem, Johan
Baskı/Yayın Bilgisi: (2006)
Yazar:: Benthem, Johan
Baskı/Yayın Bilgisi: (2006)
Dynamic Epistemic Logic
Yazar:: Ditmarsch, Hans
Baskı/Yayın Bilgisi: (2007)
Yazar:: Ditmarsch, Hans
Baskı/Yayın Bilgisi: (2007)
Dynamic Epistemic Logic
Yazar:: Ditmarsch, Hans
Baskı/Yayın Bilgisi: (2007)
Yazar:: Ditmarsch, Hans
Baskı/Yayın Bilgisi: (2007)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Yazar:: Carnielli, Walter
Baskı/Yayın Bilgisi: (2008)
Yazar:: Carnielli, Walter
Baskı/Yayın Bilgisi: (2008)
Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
Yazar:: Carnielli, Walter
Baskı/Yayın Bilgisi: (2008)
Yazar:: Carnielli, Walter
Baskı/Yayın Bilgisi: (2008)
Proof, Computation and Agency Logic at the Crossroads /
Yazar:: van Benthem, Johan
Baskı/Yayın Bilgisi: (2011)
Yazar:: van Benthem, Johan
Baskı/Yayın Bilgisi: (2011)
Proof, Computation and Agency Logic at the Crossroads /
Yazar:: van Benthem, Johan
Baskı/Yayın Bilgisi: (2011)
Yazar:: van Benthem, Johan
Baskı/Yayın Bilgisi: (2011)
The Realism-Antirealism Debate in the Age of Alternative Logics
Yazar:: Rahman, Shahid
Baskı/Yayın Bilgisi: (2012)
Yazar:: Rahman, Shahid
Baskı/Yayın Bilgisi: (2012)
The Realism-Antirealism Debate in the Age of Alternative Logics
Yazar:: Rahman, Shahid
Baskı/Yayın Bilgisi: (2012)
Yazar:: Rahman, Shahid
Baskı/Yayın Bilgisi: (2012)
Treatise on Intuitionistic Type Theory
Yazar:: Granstrm, Johan Georg
Baskı/Yayın Bilgisi: (2011)
Yazar:: Granstrm, Johan Georg
Baskı/Yayın Bilgisi: (2011)
Treatise on Intuitionistic Type Theory
Yazar:: Granstrm, Johan Georg
Baskı/Yayın Bilgisi: (2011)
Yazar:: Granstrm, Johan Georg
Baskı/Yayın Bilgisi: (2011)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Yazar:: Lupacchini, Rossella
Baskı/Yayın Bilgisi: (2008)
Yazar:: Lupacchini, Rossella
Baskı/Yayın Bilgisi: (2008)
Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
Yazar:: Lupacchini, Rossella
Baskı/Yayın Bilgisi: (2008)
Yazar:: Lupacchini, Rossella
Baskı/Yayın Bilgisi: (2008)
Logic and Philosophy of Mathematics in the Early Husserl
Yazar:: Centrone, Stefania
Baskı/Yayın Bilgisi: (2010)
Yazar:: Centrone, Stefania
Baskı/Yayın Bilgisi: (2010)
Logic and Philosophy of Mathematics in the Early Husserl
Yazar:: Centrone, Stefania
Baskı/Yayın Bilgisi: (2010)
Yazar:: Centrone, Stefania
Baskı/Yayın Bilgisi: (2010)
Games: Unifying Logic, Language, and Philosophy
Yazar:: Majer, Ondrej
Baskı/Yayın Bilgisi: (2009)
Yazar:: Majer, Ondrej
Baskı/Yayın Bilgisi: (2009)
Games: Unifying Logic, Language, and Philosophy
Yazar:: Majer, Ondrej
Baskı/Yayın Bilgisi: (2009)
Yazar:: Majer, Ondrej
Baskı/Yayın Bilgisi: (2009)
Games, Norms and Reasons Logic at the Crossroads /
Yazar:: van Benthem, Johan
Baskı/Yayın Bilgisi: (2011)
Yazar:: van Benthem, Johan
Baskı/Yayın Bilgisi: (2011)
Games, Norms and Reasons Logic at the Crossroads /
Yazar:: van Benthem, Johan
Baskı/Yayın Bilgisi: (2011)
Yazar:: van Benthem, Johan
Baskı/Yayın Bilgisi: (2011)
Residuated lattices an algebraic glimpse at substructural logics /
Baskı/Yayın Bilgisi: (2007)
Baskı/Yayın Bilgisi: (2007)
Residuated lattices an algebraic glimpse at substructural logics /
Baskı/Yayın Bilgisi: (2007)
Baskı/Yayın Bilgisi: (2007)
From a Geometrical Point of View A Study of the History and Philosophy of Category Theory /
Yazar:: Marquis, Jean-Pierre
Baskı/Yayın Bilgisi: (2009)
Yazar:: Marquis, Jean-Pierre
Baskı/Yayın Bilgisi: (2009)
From a Geometrical Point of View A Study of the History and Philosophy of Category Theory /
Yazar:: Marquis, Jean-Pierre
Baskı/Yayın Bilgisi: (2009)
Yazar:: Marquis, Jean-Pierre
Baskı/Yayın Bilgisi: (2009)
Foundational Theories of Classical and Constructive Mathematics
Yazar:: Sommaruga, Giovanni
Baskı/Yayın Bilgisi: (2011)
Yazar:: Sommaruga, Giovanni
Baskı/Yayın Bilgisi: (2011)
Foundational Theories of Classical and Constructive Mathematics
Yazar:: Sommaruga, Giovanni
Baskı/Yayın Bilgisi: (2011)
Yazar:: Sommaruga, Giovanni
Baskı/Yayın Bilgisi: (2011)
Handbook of Philosophical Logic
Yazar:: Gabbay, D.M
Baskı/Yayın Bilgisi: (2007)
Yazar:: Gabbay, D.M
Baskı/Yayın Bilgisi: (2007)