Logos and máthema studies in the philosophy of mathematics and history of logic /

Constructibility and mathematical existence
著者:: Chihara, Charles S., 1932-
出版事項: (1990)

New essays on Tarski and philosophy
出版事項: (2008)

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

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
著者:: Hopkins, Burt C.
出版事項: (2011)

Philosophy of mathematics in the twentieth century : selected essays /
著者:: Parsons, Charles, 1933-
出版事項: (2014)

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

Formalism and beyond : on the nature of mathematical discourse /
出版事項: (2014)

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

Classical mathematical logic the semantic foundations of logic /
著者:: Epstein, Richard L.
出版事項: (2011)

Mathematical logic
著者:: Quine, W. V. (Willard Van Orman)
出版事項: (1981)

Truth and Falsehood An Inquiry into Generalized Logical Values /
著者:: Shramko, Yaroslav
出版事項: (2012)

Intermediate logic
著者:: Bostock, David
出版事項: (1997)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
著者:: Goldblatt, Robert
出版事項: (2011)

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

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

Mathematical logic
著者:: Chiswell, Ian, 1948-
出版事項: (2007)

Logic and Philosophy of Mathematics in the Early Husserl
著者:: Centrone, Stefania
出版事項: (2010)

Modalities and Multimodalities With the assistance and collaboration of Juliana Bueno-Soler /
著者:: Carnielli, Walter
出版事項: (2008)

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

The elements of mathematical logic.
著者:: Rosenbloom, Paul C.
出版事項: (1950)

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

Fundamentals of logic : An intrduction to Aristotelian and Sympolic, induction, and the avoidance of every day fallacies /
著者:: Kupperman, Joel
出版事項: (1966)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
出版事項: (2011)

In the light of logic
著者:: Feferman, Solomon
出版事項: (1998)

Mathematical logic in the 20th century
出版事項: (2003)

Studies in logic
出版事項: (1983)

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

Foundation of abstract mathematics /
著者:: Kurtz, David C.
出版事項: (1992)

Distilling ideas an introduction to mathematical thinking /
著者:: Katz, Brian P.
出版事項: (2013)

Foundations without foundationalism a case for second-order logic.
著者:: Shapiro, Stewart, 1951-
出版事項: (2000)

Logic with trees an introduction to symbolic logic /
著者:: Howson, Colin
出版事項: (1997)

Symbolic logic syntax, semantics, and proof /
著者:: Agler, David W., 1982-
出版事項: (2013)

Deducibility and decidability
著者:: Gill, R. R. Rockingham, 1944-
出版事項: (1990)

Logical dynamics of information and interaction
著者:: Benthem, J. F. A. K. van, 1949-
出版事項: (2011)

Philosophy of mathematics and mathematical practice in the seventeenth century
著者:: Mancosu, Paolo
出版事項: (1999)

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