कवर छवि

क्यूआर कोड

Recursion theory : computational aspects of definability /

अन्य संस्करण दिखाएं (1)

में बचाया:

ग्रंथसूची विवरण
मुख्य लेखकों:	Chong, C.-T. (Chi-Tat), 1949- (लेखक), Yu, Liang (लेखक)
स्वरूप:	इलेक्ट्रोनिक ई-पुस्तक
भाषा:	अंग्रेज़ी
प्रकाशित:	Berlin, [Germany] ; Boston, [Massachusetts] : De Gruyter, 2015.
श्रृंखला:	De Gruyter series in logic and its applications ; Volume 8.
विषय:	Recursion theory. Electronic books.
ऑनलाइन पहुंच:	An electronic book accessible through the World Wide Web; click to view
टैग:	टैग जोड़ें कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!

समान संसाधन

Recursion theory : computational aspects of definability /
द्वारा: Chong, C.-T. (Chi-Tat), 1949-, और अन्य
प्रकाशित: (2015)

Recursion theory for metamathematics
द्वारा: Smullyan, Raymond M.
प्रकाशित: (1993)

Recursion theory for metamathematics
द्वारा: Smullyan, Raymond M.
प्रकाशित: (1993)

Computational prospects of infinity
प्रकाशित: (2008)

Computational prospects of infinity
प्रकाशित: (2008)

Recursive macroeconomic theory
द्वारा: Ljungqvist, Lars
प्रकाशित: (2012)

Recursive macroeconomic theory
द्वारा: Ljungqvist, Lars
प्रकाशित: (2004)

Recursive macroeconomic theory
द्वारा: Ljungqvist, Lars
प्रकाशित: (2004)

Recursive macroeconomic theory
द्वारा: Ljungqvist, Lars
प्रकाशित: (2012)

Solutions manual for recursive methods in economic dynamics
द्वारा: Irigoyen, Claudio
प्रकाशित: (2002)

Solutions manual for recursive methods in economic dynamics
द्वारा: Irigoyen, Claudio
प्रकाशित: (2002)

Distribution models theory
प्रकाशित: (2006)

Distribution models theory
प्रकाशित: (2006)

Ways of proof theory
द्वारा: Schindler, Ralf
प्रकाशित: (2010)

Ways of proof theory
द्वारा: Schindler, Ralf
प्रकाशित: (2010)

Simple theories and hyperimaginaries
द्वारा: Casanovas, Enrique, 1957-
प्रकाशित: (2011)

Simple theories and hyperimaginaries
द्वारा: Casanovas, Enrique, 1957-
प्रकाशित: (2011)

Institution-independent model theory
द्वारा: Diaconescu, Răzvan
प्रकाशित: (2008)

Institution-independent model theory
द्वारा: Diaconescu, Răzvan
प्रकाशित: (2008)

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
प्रकाशित: (1998)

Twenty-five years of constructive type theory proceedings of a congress held in Venice, October 1995 /
प्रकाशित: (1998)

Computability in context computation and logic in the real world /
प्रकाशित: (2011)

Computability in context computation and logic in the real world /
प्रकाशित: (2011)

The axiom of determinacy, forcing axioms, and the nonstationary ideal
द्वारा: Woodin, W. H. (W. Hugh)
प्रकाशित: (2010)

The axiom of determinacy, forcing axioms, and the nonstationary ideal
द्वारा: Woodin, W. H. (W. Hugh)
प्रकाशित: (2010)

Concepts of proof in mathematics, philosophy, and computer science /
प्रकाशित: (2016)

Concepts of proof in mathematics, philosophy, and computer science /
प्रकाशित: (2016)

Charming proofs a journey into elegant mathematics /
द्वारा: Alsina, Claudi
प्रकाशित: (2010)

The nuts and bolts of proofs
द्वारा: Cupillari, Antonella
प्रकाशित: (2005)

The nuts and bolts of proofs
द्वारा: Cupillari, Antonella
प्रकाशित: (2005)

Charming proofs a journey into elegant mathematics /
द्वारा: Alsina, Claudi
प्रकाशित: (2010)

Forcing for mathematicians /
द्वारा: Weaver, Nik
प्रकाशित: (2014)

Forcing for mathematicians /
द्वारा: Weaver, Nik
प्रकाशित: (2014)

Fine structure and class forcing
द्वारा: Friedman, Sy D., 1953-
प्रकाशित: (2000)

Fine structure and class forcing
द्वारा: Friedman, Sy D., 1953-
प्रकाशित: (2000)

Theory of computation
द्वारा: Tourlakis, George J.
प्रकाशित: (2012)

Theory of computation
द्वारा: Tourlakis, George J.
प्रकाशित: (2012)

Memoirs of a proof theorist Gödel and other logicians /
द्वारा: Takeuti, Gaisi, 1926-
प्रकाशित: (2003)

Memoirs of a proof theorist Gödel and other logicians /
द्वारा: Takeuti, Gaisi, 1926-
प्रकाशित: (2003)

Logic without borders /
प्रकाशित: (2015)