Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /

Advances in Proof-Theoretic Semantics
出版事項: (2016)

Information and Knowledge A Constructive Type-theoretical Approach /
著者:: Primiero, Giuseppe
出版事項: (2008)

Information and Knowledge A Constructive Type-theoretical Approach /
著者:: Primiero, Giuseppe
出版事項: (2008)

Proof, Computation and Agency Logic at the Crossroads /
著者:: van Benthem, Johan
出版事項: (2011)

Proof, Computation and Agency Logic at the Crossroads /
著者:: van Benthem, Johan
出版事項: (2011)

Constructive Negations and Paraconsistency
著者:: Odintsov, Sergei P.
出版事項: (2008)

Constructive Negations and Paraconsistency
著者:: Odintsov, Sergei P.
出版事項: (2008)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
著者:: Benthem, Johan
出版事項: (2006)

The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
著者:: Benthem, Johan
出版事項: (2006)

Games: Unifying Logic, Language, and Philosophy
著者:: Majer, Ondrej
出版事項: (2009)

Games: Unifying Logic, Language, and Philosophy
著者:: Majer, Ondrej
出版事項: (2009)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
著者:: Dybjer, P.
出版事項: (2012)

Epistemology versus Ontology Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Lf /
著者:: Dybjer, P.
出版事項: (2012)

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
著者:: DeVidi, David
出版事項: (2011)

Logic, Mathematics, Philosophy, Vintage Enthusiasms Essays in Honour of John L. Bell /
著者:: DeVidi, David
出版事項: (2011)

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
著者:: Lupacchini, Rossella
出版事項: (2008)

Deduction, Computation, Experiment Exploring the Effectiveness of Proof /
著者:: Lupacchini, Rossella
出版事項: (2008)

Games, Norms and Reasons Logic at the Crossroads /
著者:: van Benthem, Johan
出版事項: (2011)

Games, Norms and Reasons Logic at the Crossroads /
著者:: van Benthem, Johan
出版事項: (2011)

Handbook of Philosophical Logic
著者:: Gabbay, D.M
出版事項: (2007)

Handbook of Philosophical Logic
著者:: Gabbay, D.M
出版事項: (2007)

Foundational Theories of Classical and Constructive Mathematics
著者:: Sommaruga, Giovanni
出版事項: (2011)

Foundational Theories of Classical and Constructive Mathematics
著者:: Sommaruga, Giovanni
出版事項: (2011)

Strict Finitism and the Logic of Mathematical Applications
著者:: Ye, Feng
出版事項: (2011)

The Arch Papers on the Mathematics of Abstraction
著者:: Cook, Roy T.
出版事項: (2007)

Strict Finitism and the Logic of Mathematical Applications
著者:: Ye, Feng
出版事項: (2011)

The Arch Papers on the Mathematics of Abstraction
著者:: Cook, Roy T.
出版事項: (2007)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
著者:: Pagliani, Piero
出版事項: (2008)

A Geometry of Approximation Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns /
著者:: Pagliani, Piero
出版事項: (2008)

Dynamic Epistemic Logic
著者:: Ditmarsch, Hans
出版事項: (2007)

Dynamic Epistemic Logic
著者:: Ditmarsch, Hans
出版事項: (2007)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
著者:: Kerkhove, Bart
出版事項: (2007)

Perspectives On Mathematical Practices Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education /
著者:: Kerkhove, Bart
出版事項: (2007)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
著者:: Galavotti, Maria Carla
出版事項: (2006)

Cambridge and Vienna Frank P. Ramsey and the Vienna Circle /
著者:: Galavotti, Maria Carla
出版事項: (2006)

Brouwer Meets Husserl On the Phenomenology of Choice Sequences /
著者:: Atten, Mark
出版事項: (2007)