城西大学を検索します。
CiNii Booksを検索します。
CiNii Research(論文)を検索します。
CiNii Dissertationsを検索します。
PubMedを検索します。
IRDBを検索します。
【城西大学の蔵書】を検索した結果です。電子ジャーナル・ブックは資料の詳細画面から、閲覧サイトにリンクしています。
検索キーワード:(件名: #Algebraic logic)
該当件数:11件
Algebraic logic
New York : Chelsea Publishing Co. , {1962}
図書
Studies in algebraic logic / Aubert Daigneault, editor.
v. 9. - {Washington} : Mathematical Association of America , {1974}
Algebraizable logics / W.J. Blok and Don Pigozzi
: alk. paper. - Providence, R.I., USA : American Mathematical Society , 1989. - (Memoirs of the American Mathematical Society ; no. 396)
Logic in algebraic form : three languages and theories / William Craig
: us,: ne. - Amsterdam : North-Holland Pub. Co.. - New York : American Elsevier Pub. Co. , 1974. - (Studies in logic and the foundations of mathematics ; v. 72)
Logic and algebra / edited by Aldo Ursini, Paolo Agliano.
New York : Dekker , 1996. - (Lecture notes in pure and applied mathematics)
Algebraic Theories : A Categorical Introduction to General Algebra / J. Adámek, J. Rosický, E. M. Vitale ; foreword by F. W. Lawvere
Cambridge : Cambridge University Press , 2010. - (Cambridge Tracts in Mathematics ; 184)
電子ブック
Logics of Variable Inclusion / by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
1st ed. 2022.. - (Cham : Springer International Publishing : Imprint: Springer , 2022). - (Trends in Logic, Studia Logica Library. ISSN:22127313 ; 59)
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin.
v. 85. - Amsterdam : North-Holland , 1976. - New York : American Elsevier Pub. Co. , 1976. - (Studies in logic and the foundations of mathematics ; v. 85)
Ordinal algebras / with appendices by Chen-Chung Chang and Bjarni J?nsson.
Amsterdam : North-Holland , 1956. - (Studies in logic and the foundations of mathematics)
From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung
Berlin : Springer , c2011. - (Lecture notes in mathematics ; 2029)
Semigroups underlying first-order logic / William Craig
Providence, R.I. : American Mathematical Society , c2006. - (Memoirs of the American Mathematical Society ; no. 866)