Search Local DataBase.
Search CiNii Books.
Search CiNii Research(Articles).
Search CiNii Dissertations.
Search PubMed.
Search IRDB.
Search keyword:(Standard classification: QA9.56)
Results:2items
The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 / edited by A.S. Troelstra and D. van Dalen
Amsterdam ; New York : North-Holland. - New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science , 1982. - (Studies in logic and the foundations of mathematics ; v. 110)
Books
Foundations of constructive mathematics : metamathematical studies / Michael J. Beeson
U.S.,Germany. - Berlin ; New York : Springer-Verlag , c1985. - (Ergebnisse der Mathematik und ihrer Grenzgebiete ; 3 . Folge ; Bd. 6)