城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Mathematical Theory)
該当件数:452件
Paths Why is life filled with so many detours?
: Springer International Publishing , 2021
電子ブック
Fine structure and iteration trees
: Springer-Verlag , 1994
Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings
: Springer International Publishing , 2019
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings
: Springer International Publishing , 2020
Abstract mathematical cognition
: Frontiers Media SA , 2016
Admissible Sets and Structures: An Approach to Definability Theory
: Springer , 1976
Algebraic structures of neutrosophic triplets, neutrosophic duplets, or neutrosophic multisets
: MDPI , 2019
Aspects of incompleteness
: Springer-Verlag , 1997
Bounded variable logics and counting : a study in finite models
: Springer , 1997
Proper and improper forcing
: Springer , 1998
Selbststudium im digitalen Wandel Digitales, begleitetes Selbststudium in der Mathematik - MINT meistern mit optes
: Springer Fachmedien Wiesbaden , 2021
Sprachliche Variationen von mathematischen Textaufgaben Entwicklung eines Instruments zur Textanpassung für Textaufgaben im Mathematikunterricht
Essential stability theory
: Springer , 1996
Model theory of fields
Logic Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
Recursion-Theoretic Hierarchies
: Springer , 1978
Recursion theory
: Springer-Verlag , 1993
Higher recursion theory
: Springer-Verlag , 1990
Journal of algorithms & computational technology
: Multi-Science Publishing
電子ジャーナル
Journal of the Mathematical Society of Japan
: Akitaya