東北学院大学の蔵書(電子ブックを含む)を検索します。
日本国内の大学図書館等が所蔵する資料を検索します。
日本国内の学術論文等を検索します。
日本国内の学術機関が公開する学術成果(学位論文、紀要、学術論文等)を検索します。
※現在メンテナンス中のため、https://ndlsearch.ndl.go.jp/ にアクセスの上、検索してください。
検索キーワード:(件名: #Algebraic logic)
該当件数:15件
Algebraic theories : a categorical introduction to general algebra / J. Adámek, J. Rosický, E.M. Vitale ; with a foreword by F.W. Lawvere
New York : Cambridge University Press , 2011. - (Cambridge tracts in mathematics ; 184)
図書
Logic and algebra / edited by Aldo Ursini, Paolo Aglianò
New York : Marcel Dekker , c1996. - (Lecture notes in pure and applied mathematics ; v. 180)
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin
2nd ed, rev. and enl.. - Amsterdam : North-Holland , 1986. - Tokyo. - (Studies in logic and the foundations of mathematics ; v. 85)
The theory of indistinguishables : a search for explanatory principles below the level of physics / A. F. Parker-Rhodes
Dordrecht, Holland : D. Reidel , c1981. - Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston. - Boston. - (Synthese library ; v. 150)
From objects to diagrams for ranges of functors / Pierre Gillibert, Friedrich Wehrung
Berlin : Springer , c2011. - (Lecture notes in mathematics ; 2029)
Algebraic and logic programming : International Workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.)
: gw,: us. - Berlin ; Tokyo : Springer-Verlag , c1988. - (Lecture notes in computer science ; 343)
Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988, proceedings / C. H. Bergman, R. D. Maddux, D. L. Pigozzi (eds.)
Berlin : Springer-Verlag , c1990. - Tokyo. - (Lecture notes in computer science ; 425)
Algebraic and logic programming : 6th International Joint Conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, eds
Berlin : Springer-Verlag , c1997. - Tokyo. - (Lecture notes in computer science ; 1298)
Algebraic and logic programming : 5th International Conference, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo (eds.)
Berlin : Springer , c1996. - (Lecture notes in computer science ; 1139)
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds
Berlin : Springer-Verlag , c1992. - New York. - (Lecture notes in computer science ; 632)
Algebraic and logic programming : 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez-Artalejo (eds.)
Berlin : Springer-Verlag , c1994. - New York. - (Lecture notes in computer science ; 850)
Logic and its applications / Andreas Blass, Yi Zhang, editors
Providence, R.I. : American Mathematical Society , c2005. - (Contemporary mathematics ; 380)
Berlin : Springer , c1996. - Tokyo. - (Lecture notes in computer science ; 1139)
Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey / A. Ashikhmin, A. Barg, editors
Providence, R.I. : American Mathematical Society , 2005. - (DIMACS series in discrete mathematics and theoretical computer science ; v. 68)
Models, logics, and higher-dimensional categories : a tribute to the work of Mihály Makkai / Bradd Hart ... [et al.], editors
: pbk. - Providence, R.I. : American Mathematical Society , c2011. - (CRM proceedings & lecture notes ; v. 53)