Jump to main content
NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1950s
(2)
1960s
(2)
1970s
(18)
1980s
(42)
1990s
(20)
2000s
(10)
2010s
(8)
2020s
(5)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
（107）
Periodicals
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
（1）
Paper
（106）
Microform
Recording Media
Deselect all
Subject
Link to Help Page
Close field
Refiners
Refiners
Search results 107
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
Recursion across domains : pbk
Recursion across domains : pbk
Paper
図書
edited by Luiz Amaral, Marcus Maia, Andrew Nevins, Tom Roeper
Cambridge University Press
2020
Other Libraries in Japan
Fundamentals of mathematical logic Special Indian ed.
Fundamentals of mathematical logic Special Indian ed.
Paper
図書
Peter G. Hinman
CRC Press
2020, c2005
Other Libraries in Japan
Abstract recursion and intrinsic complexity
Abstract recursion and intrinsic complexity
Paper
図書
Yiannis N. Moschovakis
Cambridge University Press
2019
Other Libraries in Japan
Recursion theory : computational aspects od definability
Recursion theory : computational aspects od definability
Paper
図書
Chi Tat Chong, Liang Yu
Walter de Gruyter
c2015
Other Libraries in Japan
Higher airy structures,W algebras and topological recursion
Higher airy structures,W algebras and topological recursion
Paper
図書
Gaëtan Borot ... [et al.], editors
American Mathematical Society
c2024
Other Libraries in Japan
Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
Computability, enumerability, unsolvability : directions in recursion theory / edited by S.B. Cooper, T.A. Slaman, S.S. Wainer. (London Mathematical Society lecture note series)
Paper
図書
Cambridge University Press
1996.
<MA41-A95>
National Diet Library
Subject Heading
帰納法.
Recursion theory.
E-recursion, forcing and C*-algebras : [hardback] : pbk.
E-recursion, forcing and C*-algebras : [hardback] : pbk.
Paper
図書
editors, Chitat Chong ... [et al.]
World Scientific
c2014
Other Libraries in Japan
Potential wadge classes
Potential wadge classes
Paper
図書
Dominique Lecomte
American Mathematical Society
c2012
Other Libraries in Japan
Computability theory : pbk
Computability theory : pbk
Paper
図書
Rebecca Weber
American Mathematical Society
c2012
Other Libraries in Japan
Computability theory : an introduction to recursion theory
Computability theory : an introduction to recursion theory
Paper
図書
Herbert B. Enderton
Academic Press is an imprint of Elsevier
c2011
Other Libraries in Japan
The foundations of mathematics Rev. ed
The foundations of mathematics Rev. ed
Paper
図書
Kenneth Kunen
College Publications
2012
Other Libraries in Japan
Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló summer school : recent advances in real complexity and computation : July 16-20, 2012 : Universidad Internacional Menéndez Pelayo, Santander, Spain : Jul 2012, Santander, Spain. (Contemporary Mathematics ; 604)
Recent advances in real complexity and computation : UIMP-RSME Lluís A. Santaló summer school : recent advances in real complexity and computation : July 16-20, 2012 : Universidad Internacional Menéndez Pelayo, Santander, Spain : Jul 2012, Santander, Spain. (Contemporary Mathematics ; 604)
Paper
図書
American Mathematical Society
[2013]
<M17-15-883>
National Diet Library
The foundations of mathematics
The foundations of mathematics
Paper
図書
Kenneth Kunen
College Publications
c2009
Other Libraries in Japan
Thinking recursively with Java
Thinking recursively with Java
Paper
図書
Eric Roberts
John Wiley
c2006
Other Libraries in Japan
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)
Classical recursion theory : the theory of functions and sets of natural numbers / Piergiorgio Odifreddi. (Studies in logic and the foundations of mathematics ; v. 125)
Paper
図書
North-Holland
1989.
<MA41-A57>
National Diet Library
Subject Heading
帰納法.
Recursion theory.
How to think about algorithms : hbk 2nd ed.
How to think about algorithms : hbk 2nd ed.
Paper
図書
Jeff Edmonds
Cambridge University Press
c2024
Other Libraries in Japan
The role of true finiteness in the admissible recursively enumerable degrees
The role of true finiteness in the admissible recursively enumerable degrees
Paper
図書
Noam Greenberg
American Mathematical Society
2006
Other Libraries in Japan
How to think about algorithms : pbk 2nd ed
How to think about algorithms : pbk 2nd ed
Paper
図書
Jeff Edmonds
Cambridge University Press
2024
Other Libraries in Japan
Fundamentals of mathematical logic
Fundamentals of mathematical logic
Paper
図書
Peter G. Hinman
A.K. Peters
c2005
Other Libraries in Japan
Aspects of incompleteness : pbk. : acid-free paper 2nd ed
Aspects of incompleteness : pbk. : acid-free paper 2nd ed
Paper
図書
by Per Lindström
Association for Symbolic Logic
c2003
Other Libraries in Japan
Show more (21-)
Bulk download of bibliographic information
RSS