Omslagsbillede

QR Code

Recursion theory : computational aspects of definability /

Show other versions (1)

Saved in:

Bibliografiske detaljer
Main Authors:	Chong, C.-T. (Chi-Tat), 1949- (Author), Yu, Liang (Author)
Format:	Electronisk eBog
Sprog:	engelsk
Udgivet:	Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2015.
Serier:	De Gruyter series in logic and its applications ; Volume 8.
Fag:	Recursion theory. Electronic books.
Online adgang:	An electronic book accessible through the World Wide Web; click to view
Tags:	Tilføj Tag Ingen Tags, Vær først til at tagge denne postø!

Lignende værker

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

Recursion theory for metamathematics
af: Smullyan, Raymond M.
Udgivet: (1993)

Recursion theory for metamathematics
af: Smullyan, Raymond M.
Udgivet: (1993)

Computational prospects of infinity
Udgivet: (2008)

Computational prospects of infinity
Udgivet: (2008)

Recursive macroeconomic theory
af: Ljungqvist, Lars
Udgivet: (2012)

Recursive macroeconomic theory
af: Ljungqvist, Lars
Udgivet: (2004)

Recursive macroeconomic theory
af: Ljungqvist, Lars
Udgivet: (2004)

Recursive macroeconomic theory
af: Ljungqvist, Lars
Udgivet: (2012)

Solutions manual for recursive methods in economic dynamics
af: Irigoyen, Claudio
Udgivet: (2002)

Solutions manual for recursive methods in economic dynamics
af: Irigoyen, Claudio
Udgivet: (2002)

Distribution models theory
Udgivet: (2006)

Distribution models theory
Udgivet: (2006)

Ways of proof theory
af: Schindler, Ralf
Udgivet: (2010)

Ways of proof theory
af: Schindler, Ralf
Udgivet: (2010)

Simple theories and hyperimaginaries
af: Casanovas, Enrique, 1957-
Udgivet: (2011)

Simple theories and hyperimaginaries
af: Casanovas, Enrique, 1957-
Udgivet: (2011)

Institution-independent model theory
af: Diaconescu, Răzvan
Udgivet: (2008)

Institution-independent model theory
af: Diaconescu, Răzvan
Udgivet: (2008)

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

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

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

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

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

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

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

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

Charming proofs a journey into elegant mathematics /
af: Alsina, Claudi
Udgivet: (2010)

The nuts and bolts of proofs
af: Cupillari, Antonella
Udgivet: (2005)

The nuts and bolts of proofs
af: Cupillari, Antonella
Udgivet: (2005)

Charming proofs a journey into elegant mathematics /
af: Alsina, Claudi
Udgivet: (2010)

Forcing for mathematicians /
af: Weaver, Nik
Udgivet: (2014)

Forcing for mathematicians /
af: Weaver, Nik
Udgivet: (2014)

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

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

Theory of computation
af: Tourlakis, George J.
Udgivet: (2012)

Theory of computation
af: Tourlakis, George J.
Udgivet: (2012)

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

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

Logic without borders /
Udgivet: (2015)