Delwedd Flaen

Côd QR

Recursion theory : computational aspects of definability /

Show other versions (1)

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Chong, C.-T. (Chi-Tat), 1949- (Awdur), Yu, Liang (Awdur)
Fformat:	Electronig eLyfr
Iaith:	Saesneg
Cyhoeddwyd:	Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2015.
Cyfres:	De Gruyter series in logic and its applications ; Volume 8.
Pynciau:	Recursion theory. Electronic books.
Mynediad Ar-lein:	An electronic book accessible through the World Wide Web; click to view
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Eitemau Tebyg

Recursion theory : computational aspects of definability /
gan: Chong, C.-T. (Chi-Tat), 1949-, et al.
Cyhoeddwyd: (2015)

Recursion theory for metamathematics
gan: Smullyan, Raymond M.
Cyhoeddwyd: (1993)

Recursion theory for metamathematics
gan: Smullyan, Raymond M.
Cyhoeddwyd: (1993)

Computational prospects of infinity
Cyhoeddwyd: (2008)

Computational prospects of infinity
Cyhoeddwyd: (2008)

Recursive macroeconomic theory
gan: Ljungqvist, Lars
Cyhoeddwyd: (2012)

Recursive macroeconomic theory
gan: Ljungqvist, Lars
Cyhoeddwyd: (2004)

Recursive macroeconomic theory
gan: Ljungqvist, Lars
Cyhoeddwyd: (2004)

Recursive macroeconomic theory
gan: Ljungqvist, Lars
Cyhoeddwyd: (2012)

Solutions manual for recursive methods in economic dynamics
gan: Irigoyen, Claudio
Cyhoeddwyd: (2002)

Solutions manual for recursive methods in economic dynamics
gan: Irigoyen, Claudio
Cyhoeddwyd: (2002)

Distribution models theory
Cyhoeddwyd: (2006)

Distribution models theory
Cyhoeddwyd: (2006)

Ways of proof theory
gan: Schindler, Ralf
Cyhoeddwyd: (2010)

Ways of proof theory
gan: Schindler, Ralf
Cyhoeddwyd: (2010)

Simple theories and hyperimaginaries
gan: Casanovas, Enrique, 1957-
Cyhoeddwyd: (2011)

Simple theories and hyperimaginaries
gan: Casanovas, Enrique, 1957-
Cyhoeddwyd: (2011)

Institution-independent model theory
gan: Diaconescu, Răzvan
Cyhoeddwyd: (2008)

Institution-independent model theory
gan: Diaconescu, Răzvan
Cyhoeddwyd: (2008)

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

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

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

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

The axiom of determinacy, forcing axioms, and the nonstationary ideal
gan: Woodin, W. H. (W. Hugh)
Cyhoeddwyd: (2010)

The axiom of determinacy, forcing axioms, and the nonstationary ideal
gan: Woodin, W. H. (W. Hugh)
Cyhoeddwyd: (2010)

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

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

Charming proofs a journey into elegant mathematics /
gan: Alsina, Claudi
Cyhoeddwyd: (2010)

The nuts and bolts of proofs
gan: Cupillari, Antonella
Cyhoeddwyd: (2005)

The nuts and bolts of proofs
gan: Cupillari, Antonella
Cyhoeddwyd: (2005)

Charming proofs a journey into elegant mathematics /
gan: Alsina, Claudi
Cyhoeddwyd: (2010)

Forcing for mathematicians /
gan: Weaver, Nik
Cyhoeddwyd: (2014)

Forcing for mathematicians /
gan: Weaver, Nik
Cyhoeddwyd: (2014)

Fine structure and class forcing
gan: Friedman, Sy D., 1953-
Cyhoeddwyd: (2000)

Fine structure and class forcing
gan: Friedman, Sy D., 1953-
Cyhoeddwyd: (2000)

Theory of computation
gan: Tourlakis, George J.
Cyhoeddwyd: (2012)

Theory of computation
gan: Tourlakis, George J.
Cyhoeddwyd: (2012)

Memoirs of a proof theorist Gödel and other logicians /
gan: Takeuti, Gaisi, 1926-
Cyhoeddwyd: (2003)

Memoirs of a proof theorist Gödel and other logicians /
gan: Takeuti, Gaisi, 1926-
Cyhoeddwyd: (2003)

Logic without borders /
Cyhoeddwyd: (2015)