https://ndlsearch.ndl.go.jp/search?cs=bib&from=0&size=20&q-subject=%22%E5%B8%B0%E7%B4%8D%E7%9A%84%E9%96%A2%E6%95%B0.%22 トップページ等で使われる標準の書誌検索定義 Sat, 14 Mar 2026 00:00:00 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I033818862 廣瀬健 著. 帰納的関数. 復刊, 共立出版, 2024.12. ISBN:978-4-320-11572-9 https://ndlsearch.ndl.go.jp/books/R100000002-I033818862 図書 Mon, 06 Jan 2025 21:58:33 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000007064455 石原, 哉, 北陸先端科学技術大学院大学. 構成的算術体系に対する部分帰納的実現可能性解釈の研究. 1997-2000 https://ndlsearch.ndl.go.jp/books/R100000002-I000007064455 図書 Thu, 17 Nov 2005 08:59:59 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000007019588 篠田, 壽一, 名古屋大学. 帰納的関数論の計算量問題への応用. 1997-1998 https://ndlsearch.ndl.go.jp/books/R100000002-I000007019588 図書 Thu, 17 Nov 2005 08:59:59 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000007550060 高橋正子, 国際基督教大学 [著]. 型理論的アプローチによる証明論および計算論の研究. [高橋正子], 2000-2003; 2004.5 https://ndlsearch.ndl.go.jp/books/R100000002-I000007550060 図書 Wed, 08 Dec 2004 00:52:16 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000003257659 Angluin's theorem for indexed families of r.e. sets and applications / Dick de Jongh, Makoto Kanazawa.. Institute for Logic, Language and Computation (ILLC) , University of Amsterdam, [1996?], ILLC research report and technical notes series. Logic, philosophy and linguistics (LP) series ; LP-96-05 https://ndlsearch.ndl.go.jp/books/R100000002-I000003257659 図書 Wed, 01 Oct 1997 09:00:00 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000003206037 Recursive functionals / Luis E. Sanchis.. North-Holland; North-Holland, c1992., Studies in logic and the foundations of mathematics ; v. 131. ISBN:0444894470 https://ndlsearch.ndl.go.jp/books/R100000002-I000003206037 図書 Mon, 14 Sep 1992 09:00:00 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000002649519 篠田寿一 著. 帰納的関数と述語. 河合文化教育研究所; 河合出版 (発売), 1997.5, 数学基礎論シリーズ ; 5巻. ISBN:4-87999-969-5, DOI:10.11501/14188841 https://ndlsearch.ndl.go.jp/books/R100000002-I000002649519 図書 Wed, 15 Feb 2006 08:59:59 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000006995396 篠田, 壽一, 名古屋大学. 帰納的関数論の総合的研究. 1994-1995 https://ndlsearch.ndl.go.jp/books/R100000002-I000006995396 図書 Thu, 27 Oct 2005 08:59:59 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000003213898 Minimum impatience theorems for recursive economic models / Gerhard Sorger.. Springer-Verlag; Springer-Verlag, c1992., Lecture notes in economics and mathematical systems. ISBN:354056022X; 038756022X https://ndlsearch.ndl.go.jp/books/R100000002-I000003213898 図書 Fri, 25 Jun 1993 09:00:00 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000001964804 広瀬健 著. 帰納的関数. 共立出版, 1989.2, 共立講座現代の数学 ; 3. ISBN:4-320-01120-1, DOI:10.11501/13612008 https://ndlsearch.ndl.go.jp/books/R100000002-I000001964804 図書 Thu, 20 Apr 1989 09:00:00 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000003123926 The Recursion method and its applications : proceedings of the conference, Imperial College, London, England, September 13-14, 1984 / editors, D.G. Pettifor and D.L. Weaire.. Springer-Verlag; Springer-Verlag, c1985., Springer series in solid-state sciences ; 58. ISBN:0387151737 https://ndlsearch.ndl.go.jp/books/R100000002-I000003123926 図書 Thu, 06 Aug 2020 07:09:05 +0900 https://ndlsearch.ndl.go.jp/books/R100000002-I000001084167 M.デーヴィス 著; 渡辺茂, 赤摂也 訳. 計算の理論. 岩波書店, 1966, 現代科学選書. DOI:10.11501/1381822 https://ndlsearch.ndl.go.jp/books/R100000002-I000001084167 図書 Thu, 23 Apr 2020 07:07:27 +0900 https://ndlsearch.ndl.go.jp/books/R100000074-IALIS_QQ00141114 M.デーヴィス著. 計算の理論. 岩波書店, 1966.10, 現代科学選書 https://ndlsearch.ndl.go.jp/books/R100000074-IALIS_QQ00141114 図書 Tue, 28 Feb 2017 09:00:00 +0900