選択資料から書架並びで前後20冊ずつを表示します。
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階
Boolean functions : with engineering applications and computer programs / Winfrid G. Schneeweiss
書庫2階
In measure, number, and weight : studies in mathematics and culture / Jens Høyrup
書庫2階
Street mathematics and school mathematics / Terezinha Nunes, Analucia Dias Schliemann, David William Carraher
書庫2階
Teaching teachers, teaching students : reflections on mathematical education / ICME IV, The Fourth International Congress on Mathematical Education ; Lynn Arthur Steen, Donald J. Albers, editors
書庫2階
Mathematics galore! : Masterclasses, workshops, and team projects in mathematics and its applications / C. J. Budd, C. J. Sangwin
: hbk
書庫2階