نتایج جستجو
Editing and Analysing Numerical Tables: Towards a Digital Information System for the History of Astral Sciences (Ptolemaeus Arabus Et Latinus - Studies, 2)
Mathieu Husson (editor), Clemency Montelle (editor), Benno Van Dalen (editor), 2022
Constructivism in Mathematics: An Introduction
Anne S. Troelstra, Dirk van Dalen, 1988
Logic Colloquium '80Papers intended for the European Summer Meeting of the Association for Symbolic Logic
D. Van Dalen, D. Lascar and T.J. Smiley (Eds.), 1982
Constructivism in Mathematics: An Introduction
Anne S. Troelstra, Dirk van Dalen, 1988
Logic Colloquium '78, Proceedings of the colloquium held in Mons
Maurice Boffa, Dirkvan Dalen and Kenneth Mcaloon (Eds.), 1979
