Íomhá chlúdaigh

Cód QR

Simple theories and hyperimaginaries

Taispeáin leaganacha eile (1)

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Casanovas, Enrique, 1957-
Údar corparáideach:	ebrary, Inc
Formáid:	Leictreonach Ríomhleabhar
Teanga:	Béarla
Foilsithe / Cruthaithe:	New York : Cambridge University Press, 2011.
Sraith:	Lecture notes in logic ; 39.
Ábhair:	Model theory. First-order logic. Hyperspace. Electronic books.
Rochtain ar líne:	An electronic book accessible through the World Wide Web; click to view
Clibeanna:	Cuir clib leis Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!

Míreanna comhchosúla

Simple theories and hyperimaginaries
de réir: Casanovas, Enrique, 1957-
Foilsithe / Cruthaithe: (2011)

Institution-independent model theory
de réir: Diaconescu, Răzvan
Foilsithe / Cruthaithe: (2008)

Institution-independent model theory
de réir: Diaconescu, Răzvan
Foilsithe / Cruthaithe: (2008)

Recursion theory for metamathematics
de réir: Smullyan, Raymond M.
Foilsithe / Cruthaithe: (1993)

Recursion theory for metamathematics
de réir: Smullyan, Raymond M.
Foilsithe / Cruthaithe: (1993)

Logic without borders /
Foilsithe / Cruthaithe: (2015)

Logic without borders /
Foilsithe / Cruthaithe: (2015)

Distribution models theory
Foilsithe / Cruthaithe: (2006)

Distribution models theory
Foilsithe / Cruthaithe: (2006)

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

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

Mathematical logic
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)

Proof, logic, and formalization
Foilsithe / Cruthaithe: (1992)

Tracking reason proof, consequence, and truth /
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)

Tracking reason proof, consequence, and truth /
de réir: Azzouni, Jody
Foilsithe / Cruthaithe: (2006)

Mathematical logic
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2003)

Proof, logic, and formalization
Foilsithe / Cruthaithe: (1992)

The axiom of determinacy, forcing axioms, and the nonstationary ideal
de réir: Woodin, W. H. (W. Hugh)
Foilsithe / Cruthaithe: (2010)

The axiom of determinacy, forcing axioms, and the nonstationary ideal
de réir: Woodin, W. H. (W. Hugh)
Foilsithe / Cruthaithe: (2010)

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

Infinity and the mind : the science and philosophy of the infinite /
de réir: Rucker, Rudy
Foilsithe / Cruthaithe: (1982)

Infinity and the mind : the science and philosophy of the infinite /
de réir: Rucker, Rudy
Foilsithe / Cruthaithe: (1982)

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

Essays on non-classical logic
Foilsithe / Cruthaithe: (2001)

Essays on non-classical logic
Foilsithe / Cruthaithe: (2001)

Flatland a romance of many dimensions /
de réir: Abbott, Edwin Abbott, 1838-1926
Foilsithe / Cruthaithe: (2001)

Flatland a romance of many dimensions /
de réir: Abbott, Edwin Abbott, 1838-1926
Foilsithe / Cruthaithe: (2001)

Logic for concurrency and synchronisation
Foilsithe / Cruthaithe: (2003)

Logic for concurrency and synchronisation
Foilsithe / Cruthaithe: (2003)

Fine structure and class forcing
de réir: Friedman, Sy D., 1953-
Foilsithe / Cruthaithe: (2000)

Fine structure and class forcing
de réir: Friedman, Sy D., 1953-
Foilsithe / Cruthaithe: (2000)

The birth of model theory Löwenheim's theorem in the frame of the theory of relatives /
de réir: Badesa, Calixto
Foilsithe / Cruthaithe: (2004)

The birth of model theory Löwenheim's theorem in the frame of the theory of relatives /
de réir: Badesa, Calixto
Foilsithe / Cruthaithe: (2004)

Logical reasoning with diagrams
Foilsithe / Cruthaithe: (1996)

Logical reasoning with diagrams
Foilsithe / Cruthaithe: (1996)

Infinity and truth /
Foilsithe / Cruthaithe: (2014)

Infinity and truth /
Foilsithe / Cruthaithe: (2014)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
de réir: Goldblatt, Robert
Foilsithe / Cruthaithe: (2011)

Quantifiers, propositions and identity admissible semantics for quantified modal and substructural logics /
de réir: Goldblatt, Robert
Foilsithe / Cruthaithe: (2011)

Logical dynamics of information and interaction
de réir: Benthem, J. F. A. K. van, 1949-
Foilsithe / Cruthaithe: (2011)