城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(標準分類: QA9.54)
該当件数:9件
Sequents and Trees : An Introduction to the Theory and Applications of Propositional Sequent Calculi / by Andrzej Indrzejczak
1st ed. 2021.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2021). - (Studies in Universal Logic. ISSN:22970290)
電子ブック
An Introduction to the Language of Mathematics / by Frédéric Mynard
1st ed. 2018.. - (Cham : Springer International Publishing : Imprint: Springer , 2018)
A Framework for Priority Arguments / Manuel Lerman
Cambridge : Cambridge University Press , 2010. - (Lecture Notes in Logic ; 34)
Theorems, corollaries, lemmas, and methods of proof / Richard J. Rossi
Hoboken, N.J. : Wiley , c2006. - (Pure and applied mathematics)
図書
Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics / by Saloua Chatti
1st ed. 2019.. - (Cham : Springer International Publishing : Imprint: Birkhäuser , 2019). - (Studies in Universal Logic. ISSN:22970290)
Algebra without Borders – Classical and Constructive Nonassociative Algebraic Structures : Foundations and Applications / edited by Mahouton Norbert Hounkonnou, Melanija Mitrović, Mujahid Abbas, Madad Khan
1st ed. 2023.. - (Cham : Springer International Publishing : Imprint: Springer , 2023). - (STEAM-H: Science, Technology, Engineering, Agriculture, Mathematics & Health. ISSN:25201948)
Sets, Models and Proofs / by Ieke Moerdijk, Jaap van Oosten
1st ed. 2018.. - (Cham : Springer International Publishing : Imprint: Springer , 2018). - (Springer Undergraduate Mathematics Series. ISSN:21974144)
Algebra of proofs / M. E. Szabo
Amsterdam ; New York : North-Holland Pub. Co.. - New York : sole distributors for the U.S.A. and Canada, Elsevier North-Holland , 1978. - (Studies in logic and the foundations of mathematics ; v. 88)
Proof theory : an introduction / Wolfram Pohlers
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1989. - (Lecture notes in mathematics ; 1407)