選択資料から書架並びで前後20冊ずつを表示します。
Algorithm design : a recursion transformation framework / Marvin C. Paull
書庫2階
Goguen categories : a categorical approach to L-fuzzy relations / by Michael Winter
書庫2階
Komplexität von Entscheidungsproblemen : ein Seminar / editors Ernst Specker, Volker Strassen
書庫2階
Automorphisms of first-order structures / edited by Richard Kaye and Dugald Macpherson
書庫2階
The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives / Calixto Badesa ; translated by Michael Maudsley ; revised by the author
書庫2階
Accessible categories : the foundations of categorical model theory / Michael Makkai, Robert Paré
書庫2階
A course in model theory : an introduction to contemporary mathematical logic / Bruno Poizat ; translated from the French by Moses Klein
書庫2階
Foundations of mathematics : questions of analysis, geometry & algorithmics / Erwin Engeler ; translated by Charles B. Thomas
書庫2階
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.)
書庫2階
Cylindric-like algebras and algebraic logic / Hajnal Andréka, Miklós Ferenczi, István Németi (eds.)
: Springer
書庫2階