選択資料から書架並びで前後20冊ずつを表示します。
Logic and computation : proceedings of a workshop held at Carnegie Mellon University, June 30-July 2, 1987 / Wilfried Sieg, editor
書庫2階
Algorithmics : theory and practice / Gilles Brassard and Paul Bratley
書庫2階
Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznań-Kórnik, Poland, September 19-23, 1977 / edited by Marek Karpiński
書庫2階
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階