表紙画像

QRコード

Recursion theory : computational aspects of definability /

他のバージョン（1件）を表示する

保存先:

書誌詳細
主要な著者:	Chong, C.-T. (Chi-Tat), 1949- (著者), Yu, Liang (著者)
フォーマット:	電子媒体 eBook
言語:	英語
出版事項:	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)