ICU図書館の所蔵資料を検索します。
他大学図書館の所蔵資料を検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(件名: #Algebraic logic)
該当件数:7件
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Logic to Algebra and Arithmetic held at Karpacz, Poland, September 1-7, 1979 / edited by L. Pacholski, J. Wierzejewski and A. J. Wilkie.
Berlin : Springer , 1980.. - (Lecture notes in mathematics ; ; 834)
図書
An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack.
New York : Springer-Verlag , [1975]. - (Graduate texts in mathematics. ; 22)
図書 [BA02967426]
Proof theory and algebra in logic / Hiroakira Ono
Singapore : Springer , c2019. - (Short textbooks in logic / series editors, Fenrong Liu, Hiroakira Ono, Jeremy Seligman)
図書 [BB28915469]
From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung
Berlin : Springer , c2011. - (Lecture notes in mathematics ; 2029)
図書 [BB06372825]
Stochastic coalgebraic logic / Ernst-Erich Doberkat
Berlin ; Heidelberg : Springer , c2010. - (Monographs in theoretical computer science)
Universal algebra, algebraic logic, and databases / by B. Plotkin.
Dordrecht : Kluwer Academic Publishers , c1994.. - Boston. - (Mathematics and its applications ; ; v. 272). - (Mathematics and its applications (Kluwer Academic Publishers))
図書 [BA22047384]
Classical algebra : its nature, origins, and uses / Roger Cooke
: pbk. - Hoboken, N.J. : Wiley-Interscience , c2008
図書 [BA85700784]
