Kansikuva

QR-koodi

Infinity and truth /

Tallennettuna:

Bibliografiset tiedot
Yhteisötekijä:	Workshop on Infinity and Truth
Muut tekijät:	Chong, C.-T. (Chi-Tat), 1949-
Aineistotyyppi:	Elektroninen Konferenssijulkaisu E-kirja
Kieli:	englanti
Julkaistu:	New Jersey : World Scientific, [2014]
Sarja:	Lecture notes series (National University of Singapore. Institute for Mathematical Sciences) ; v. 25.
Aiheet:	Logic, Symbolic and mathematical > Congresses. Mathematics > Philosophy > Congresses. Set theory > Congresses. Axiomatic set theory > Congresses. Electronic books.
Linkit:	An electronic book accessible through the World Wide Web; click to view
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

Set theory and its logic
Tekijä: Quine, W. V. (Willard Van Orman)
Julkaistu: (1969)

Infinity and the mind : the science and philosophy of the infinite /
Tekijä: Rucker, Rudy
Julkaistu: (1982)

Mathematical logic
Tekijä: Tourlakis, George J.
Julkaistu: (2003)

Computational prospects of infinity
Julkaistu: (2008)

The Covering property Axiom, CPA a combinatorial core of the iterated perfect set model /
Tekijä: Ciesielski, Krzysztof, 1957-
Julkaistu: (2004)

Logic without borders /
Julkaistu: (2015)

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
Julkaistu: (1998)

Set theory
Tekijä: Tourlakis, George J.
Julkaistu: (2003)

Beyond sets a venture in collection-theoretic revisionism /
Tekijä: Rescher, Nicholas
Julkaistu: (2011)

Set theory, arithmetic, and foundations of mathematics theorems, philosophies /
Julkaistu: (2011)

A first course in mathematical logic and set theory /
Tekijä: O'Leary, Michael L.
Julkaistu: (2016)

Foundations of computing : system development with set theory and logic /
Tekijä: Scheurer, Thierry
Julkaistu: (1994)

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

Computability in context computation and logic in the real world /
Julkaistu: (2011)

Logic, computation, hierarchies /
Julkaistu: (2014)

Tracking reason proof, consequence, and truth /
Tekijä: Azzouni, Jody
Julkaistu: (2006)

Concepts of proof in mathematics, philosophy, and computer science /
Julkaistu: (2016)

Recursion theory for metamathematics
Tekijä: Smullyan, Raymond M.
Julkaistu: (1993)

Institution-independent model theory
Tekijä: Diaconescu, Răzvan
Julkaistu: (2008)

Proof, logic, and formalization
Julkaistu: (1992)

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

Mathematics without numbers towards a modal-structural interpretation /
Tekijä: Hellman, Geoffrey
Julkaistu: (1989)

Philosophy of mathematics in the twentieth century : selected essays /
Tekijä: Parsons, Charles, 1933-
Julkaistu: (2014)

Formalism and beyond : on the nature of mathematical discourse /
Julkaistu: (2014)

The origin of the logic of symbolic mathematics Edmund Husserl and Jacob Klein /
Tekijä: Hopkins, Burt C.
Julkaistu: (2011)

Forcing for mathematicians /
Tekijä: Weaver, Nik
Julkaistu: (2014)

New perspectives on games and interaction
Julkaistu: (2008)

Interactive logic selected papers from the 7th Augustus de Morgan Workshop, London /
Julkaistu: (2007)

Elementary concepts of modern mathematics /
Tekijä: Dinkines, Flora
Julkaistu: (1964)

Foundation of abstract mathematics /
Tekijä: Kurtz, David C.
Julkaistu: (1992)

Publications 1929-1936 /
Tekijä: Gödel, Kurt
Julkaistu: (1986)

In the light of logic
Tekijä: Feferman, Solomon
Julkaistu: (1998)

Foundations without foundationalism a case for second-order logic.
Tekijä: Shapiro, Stewart, 1951-
Julkaistu: (2000)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
Tekijä: Goldblatt, Robert
Julkaistu: (2011)

Fuzzy multi-criteria decision making theory and applications with recent developments /
Julkaistu: (2008)

Classical mathematical logic the semantic foundations of logic /
Tekijä: Epstein, Richard L.
Julkaistu: (2011)

Mathematical logic in the 20th century
Julkaistu: (2003)

Mathematical logic
Tekijä: Chiswell, Ian, 1948-
Julkaistu: (2007)

Logical dynamics of information and interaction
Tekijä: Benthem, J. F. A. K. van, 1949-
Julkaistu: (2011)

Distilling ideas an introduction to mathematical thinking /
Tekijä: Katz, Brian P.
Julkaistu: (2013)