Kapak Resmi

QR Kod

Infinity and truth /

Kaydedildi:

Detaylı Bibliyografya
Müşterek Yazar:	Workshop on Infinity and Truth
Diğer Yazarlar:	Chong, C.-T. (Chi-Tat), 1949-
Materyal Türü:	Elektronik Konferans Sunumu Ekitap
Dil:	İngilizce
Baskı/Yayın Bilgisi:	New Jersey : World Scientific, [2014]
Seri Bilgileri:	Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; v. 25.
Konular:	Logic, Symbolic and mathematical > Congresses. Mathematics > Philosophy > Congresses. Set theory > Congresses. Axiomatic set theory > Congresses. Electronic books.
Online Erişim:	An electronic book accessible through the World Wide Web; click to view
Etiketler:	Etiketle Etiket eklenmemiş, İlk siz ekleyin!

Benzer Materyaller

Set theory and its logic
Yazar:: Quine, W. V. (Willard Van Orman)
Baskı/Yayın Bilgisi: (1969)

Infinity and the mind : the science and philosophy of the infinite /
Yazar:: Rucker, Rudy
Baskı/Yayın Bilgisi: (1982)

Mathematical logic
Yazar:: Tourlakis, George J.
Baskı/Yayın Bilgisi: (2003)

Computational prospects of infinity
Baskı/Yayın Bilgisi: (2008)

The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
Yazar:: Ciesielski, Krzysztof, 1957-
Baskı/Yayın Bilgisi: (2004)

Logic without borders /
Baskı/Yayın Bilgisi: (2015)

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Baskı/Yayın Bilgisi: (1998)

Set theory
Yazar:: Tourlakis, George J.
Baskı/Yayın Bilgisi: (2003)

Beyond sets a venture in collection-theoretic revisionism /
Yazar:: Rescher, Nicholas
Baskı/Yayın Bilgisi: (2011)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Baskı/Yayın Bilgisi: (2011)

A first course in mathematical logic and set theory /
Yazar:: O'Leary, Michael L.
Baskı/Yayın Bilgisi: (2016)

Computability in context computation and logic in the real world /
Baskı/Yayın Bilgisi: (2011)

Set theory and the continuum hypothesis. /
Yazar:: Cohen, Paul J.

Foundations of computing : system development with set theory and logic /
Yazar:: Scheurer, Thierry
Baskı/Yayın Bilgisi: (1994)

Logic, computation, hierarchies /
Baskı/Yayın Bilgisi: (2014)

Tracking reason proof, consequence, and truth /
Yazar:: Azzouni, Jody
Baskı/Yayın Bilgisi: (2006)

Concepts of proof in mathematics, philosophy, and computer science /
Baskı/Yayın Bilgisi: (2016)

Recursion theory for metamathematics
Yazar:: Smullyan, Raymond M.
Baskı/Yayın Bilgisi: (1993)

Proof, logic, and formalization
Baskı/Yayın Bilgisi: (1992)

Institution-independent model theory
Yazar:: Diaconescu, Răzvan
Baskı/Yayın Bilgisi: (2008)

Groups, difference sets, and the monster proceedings of a special research quarter at the Ohio State University, spring 1993 /
Baskı/Yayın Bilgisi: (1996)

Mathematics without numbers towards a modal-structural interpretation /
Yazar:: Hellman, Geoffrey
Baskı/Yayın Bilgisi: (1989)

Philosophy of mathematics in the twentieth century : selected essays /
Yazar:: Parsons, Charles, 1933-
Baskı/Yayın Bilgisi: (2014)

Formalism and beyond : on the nature of mathematical discourse /
Baskı/Yayın Bilgisi: (2014)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
Yazar:: Hopkins, Burt C.
Baskı/Yayın Bilgisi: (2011)

Forcing for mathematicians /
Yazar:: Weaver, Nik
Baskı/Yayın Bilgisi: (2014)

New perspectives on games and interaction
Baskı/Yayın Bilgisi: (2008)

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Baskı/Yayın Bilgisi: (2007)

Publications 1929-1936 /
Yazar:: Gödel, Kurt
Baskı/Yayın Bilgisi: (1986)

Foundation of abstract mathematics /
Yazar:: Kurtz, David C.
Baskı/Yayın Bilgisi: (1992)

In the light of logic
Yazar:: Feferman, Solomon
Baskı/Yayın Bilgisi: (1998)

Foundations without foundationalism a case for second-order logic.
Yazar:: Shapiro, Stewart, 1951-
Baskı/Yayın Bilgisi: (2000)

Elementary concepts of modern mathematics /
Yazar:: Dinkines, Flora
Baskı/Yayın Bilgisi: (1964)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
Yazar:: Goldblatt, Robert
Baskı/Yayın Bilgisi: (2011)

Fuzzy multi-criteria decision making theory and applications with recent developments /
Baskı/Yayın Bilgisi: (2008)

Classical mathematical logic the semantic foundations of logic /
Yazar:: Epstein, Richard L.
Baskı/Yayın Bilgisi: (2011)

Mathematical logic in the 20th century
Baskı/Yayın Bilgisi: (2003)

Mathematical logic
Yazar:: Chiswell, Ian, 1948-
Baskı/Yayın Bilgisi: (2007)

Logical dynamics of information and interaction
Yazar:: Benthem, J. F. A. K. van, 1949-
Baskı/Yayın Bilgisi: (2011)

Distilling ideas an introduction to mathematical thinking /
Yazar:: Katz, Brian P.
Baskı/Yayın Bilgisi: (2013)