Íomhá chlúdaigh

Cód QR

Recursion theory : computational aspects of definability /

Taispeáin leaganacha eile (1)

Sábháilte in:

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Chong, C.-T. (Chi-Tat), 1949- (Údar), Yu, Liang (Údar)
Formáid:	Leictreonach Ríomhleabhar
Teanga:	Béarla
Foilsithe / Cruthaithe:	Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2015.
Sraith:	De Gruyter series in logic and its applications ; Volume 8.
Ábhair:	Recursion theory. 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

Recursion theory : computational aspects of definability /
de réir: Chong, C.-T. (Chi-Tat), 1949-, et al.
Foilsithe / Cruthaithe: (2015)

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)

Computational prospects of infinity
Foilsithe / Cruthaithe: (2008)

Computational prospects of infinity
Foilsithe / Cruthaithe: (2008)

Recursive macroeconomic theory
de réir: Ljungqvist, Lars
Foilsithe / Cruthaithe: (2012)

Recursive macroeconomic theory
de réir: Ljungqvist, Lars
Foilsithe / Cruthaithe: (2004)

Recursive macroeconomic theory
de réir: Ljungqvist, Lars
Foilsithe / Cruthaithe: (2004)

Recursive macroeconomic theory
de réir: Ljungqvist, Lars
Foilsithe / Cruthaithe: (2012)

Solutions manual for recursive methods in economic dynamics
de réir: Irigoyen, Claudio
Foilsithe / Cruthaithe: (2002)

Solutions manual for recursive methods in economic dynamics
de réir: Irigoyen, Claudio
Foilsithe / Cruthaithe: (2002)

Distribution models theory
Foilsithe / Cruthaithe: (2006)

Distribution models theory
Foilsithe / Cruthaithe: (2006)

Ways of proof theory
de réir: Schindler, Ralf
Foilsithe / Cruthaithe: (2010)

Ways of proof theory
de réir: Schindler, Ralf
Foilsithe / Cruthaithe: (2010)

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

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)

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)

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

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

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)

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

Charming proofs a journey into elegant mathematics /
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2010)

The nuts and bolts of proofs
de réir: Cupillari, Antonella
Foilsithe / Cruthaithe: (2005)

The nuts and bolts of proofs
de réir: Cupillari, Antonella
Foilsithe / Cruthaithe: (2005)

Charming proofs a journey into elegant mathematics /
de réir: Alsina, Claudi
Foilsithe / Cruthaithe: (2010)

Forcing for mathematicians /
de réir: Weaver, Nik
Foilsithe / Cruthaithe: (2014)

Forcing for mathematicians /
de réir: Weaver, Nik
Foilsithe / Cruthaithe: (2014)

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)

Theory of computation
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2012)

Theory of computation
de réir: Tourlakis, George J.
Foilsithe / Cruthaithe: (2012)

Memoirs of a proof theorist Gödel and other logicians /
de réir: Takeuti, Gaisi, 1926-
Foilsithe / Cruthaithe: (2003)

Memoirs of a proof theorist Gödel and other logicians /
de réir: Takeuti, Gaisi, 1926-
Foilsithe / Cruthaithe: (2003)

Logic without borders /
Foilsithe / Cruthaithe: (2015)