鄰近 主題 是:
Result Page   Prev Next
儲存已註記</a>
<span name='save_page_btn1' id='save_page_btn1' style='visibility: visible' ><a href= 儲存本頁所有記錄
選取   條目
Mathematical literature -- America -- Early works to 1800 -- Bibliography : Burdick, Bruce Stanley; 傅斯年圖書館; 紙本資料  2009 1
Mathematical literature -- Italy -- History -- 15th century : Saiber, Arielle,; 傅斯年圖書館; 紙本資料  2017 1
Mathematical literature -- Italy -- History -- 16th century : Saiber, Arielle,; 傅斯年圖書館; 紙本資料  2017 1
Mathematical literature -- Publishing : Krantz, Steven G.; 數學所圖書室; 紙本資料  2005 1
Mathematical logic   79
Mathematical Logic and Formal Languag es : CG (Conference); 中央研究院; 電子書  2014 1
Mathematical logic and formal language / iisf : 資訊所圖書室; 紙本資料  c1993 1
Mathematical Logic and Formal Languages   1396
Mathematical Logic and Foundations   369
Mathematical logic and foundations -- Algebraic logic -- Categorical logic, topoi. / msc : 數學所圖書室; 電腦檔  c2011 1
Mathematical logic and foundations -- Computability and recursion theory -- Algorithmic randomness and dimension. / msc : Shen, A.; 數學所圖書室; 電腦檔  2017 1
Mathematical logic and foundations -- Computability and recursion theory -- Complexity of computation (including implicit computational complexity). / msc : UIMP-RSME Lluis Santaló Summer; 數學所圖書室; 紙本資料  2013 1
Mathematical logic and foundations -- Computability and recursion theory -- Other degrees and reducibilities.   2
Mathematical logic and foundations -- Computability and recursion theory -- Other Turing degree structures. / msc : Downey, R. G.; 數學所圖書室; 紙本資料  2020 1
Mathematical logic and foundations -- Computability and recursion theory -- Recursively (computably) enumerable sets and degrees. / msc : Downey, R. G.; 數學所圖書室; 紙本資料  2020 1
Mathematical logic and foundations -- General logic -- Higher-order logic and type theory. / msc : 數學所圖書室; 電腦檔  2014 1
Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.)   2
Mathematical logic and foundations -- Model theory -- Classification theory, stability and related concepts.   2
Mathematical logic and foundations -- Model theory -- Equational classes, universal algebra.   2
Mathematical logic and foundations -- Model theory -- Model-theoretic algebra.   2
Mathematical logic and foundations -- Model theory -- Nonclassical models (Boolean-valued, sheaf, etc.). / msc : 數學所圖書室; 電腦檔  c2011 1
Mathematical logic and foundations -- Model theory -- Properties of classes of models. / msc : 數學所圖書室; 電腦檔  c2011 1
Philosophy -- Mathematical Logic and Foundations : 中央研究院; 電腦檔  2018 1
Mathematical logic and foundations -- Proceedings, conferences, collections, etc..   3
Mathematical logic and foundations -- Proof theory and constructive mathematics -- Metamathematics of constructive systems. / msc : 數學所圖書室; 電腦檔  2014 1
Mathematical logic and foundations -- Research exposition (monographs, survey articles).   2
Mathematical logic and foundations -- Set theory -- Applications of set theory. / msc : 數學所圖書室; 紙本資料  2020 1
Mathematical logic and foundations -- Set theory -- Axiom of choice and related propositions. / msc : Larson, Paul B.; 數學所圖書室; 紙本資料  2020 1
Mathematical logic and foundations -- Set theory -- Cardinal characteristics of the continuum. / msc : 數學所圖書室; 紙本資料  2020 1
Mathematical logic and foundations -- Set theory -- Consistency and independence results.   4
Mathematical logic and foundations -- Set theory -- Descriptive set theory.   3
Mathematical logic and foundations -- Set theory -- Determinacy principles.   2
Mathematical logic and foundations -- Set theory -- Generic absoluteness and forcing axioms. / msc : 數學所圖書室; 電腦檔  2017 1
Mathematical logic and foundations -- Set theory -- Inner models, including constructibility, ordinal definability, and core models.   2
Mathematical logic and foundations -- Set theory -- Large cardinals. / msc : 數學所圖書室; 電腦檔  2017 1
Mathematical logic and foundations -- Set theory -- None of the above, but in this section. / msc : Schwartz, Richard Evan; 數學所圖書室; 電腦檔  2016 1
Mathematical logic and foundations -- Set theory -- Other aspects of forcing and Boolean-valued models. / msc : Larson, Paul B.; 數學所圖書室; 紙本資料  2020 1
Mathematical logic and foundations -- Set theory -- Other hypotheses and axioms. / msc : 數學所圖書室; 紙本資料  2020 1
Mathematical Logic -- Congresses. : Centre National de la Recherche Scientifique France; 數學所圖書室; 紙本資料  1953 1
Mathematical Logic -- Philosophy -- Congresses. : Centre National de la Recherche Scientifique France; 數學所圖書室; 紙本資料  1958 1
Mathematical methods   2
Artificial intelligence -- Mathematical methods   2
Finance -- Mathematical methods : Wang, Hui,; 數學所圖書室; 紙本資料  2012 1
Mathematical Methods in Physics   624
Production planning -- Mathematical methods : Suerie, Christopher; 數學所圖書室; 紙本資料  2005 1
Social sciences -- Mathematical methods : Shubik, Martin,; 人文社會聯圖; 紙本資料  2016 1
Food demand -- Mathematical model : Quotah, Mohammmed M. Nour; 統計所圖書館; 紙本資料  1979 1
Soil-structure interaction -- Mathematical model : HoLung, J.A.; 地球所圖書館; 地圖  1989 1
Mathematical modeling   4
Mathematical Modeling and Industrial Mathematics   540
儲存已註記</a>
<span name='save_page_btn2' id='save_page_btn2' style='visibility: visible' ><a href= 儲存本頁所有記錄
Result Page   Prev Next