1.

図書
図書
1. The computer modelling of mathematical reasoning (: pbk. ; : cased)
Alan Bundy
出版情報: London ; Tokyo : Academic Press, 1983
所蔵情報: loading…
2.

図書
図書
2. Recursion theory
[edited by Anil Nerode, Richard A. Shore]
出版情報: Providence, R.I. : American Mathematical Society, c1985
シリーズ名: Proceedings of symposia in pure mathematics ; v. 42
所蔵情報: loading…
3.

図書
図書
3. Foundations of constructive mathematics : metamathematical studies (U.S. ; Germany)
Michael J. Beeson
出版情報: Berlin ; New York : Springer-Verlag, c1985
シリーズ名: Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 . Folge ; Bd. 6
所蔵情報: loading…