//]]>
Unhighlight Highlight
Proof, Computation and Agency by van Benthem, Johan. Publication: . XXIV, 372 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Methods of Cut-Elimination by Leitsch, Alexander. Publication: . VI, 290 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dual Tableaux: Foundations, Methodology, Case Studies by Orlowska, Ewa. Publication: . XVI, 523 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hybrid Logic and its Proof-Theory by Braüner, Torben. Publication: . XIII, 231 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Natural Deduction, Hybrid Systems and Modal Logics by Indrzejczak, Andrzej. Publication: . XXIII, 514p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic: A Brief Course by Mundici, Daniele. Publication: . XI, 130 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logica: Metodo Breve by Mundici, Daniele. Publication: . XI, 126 pagg. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cylindric-like Algebras and Algebraic Logic by Andréka, Hajnal. Publication: . 478 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Sparsity by Nešetřil, Jaroslav. Publication: . XXIII, 457p. 132 illus., 100 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Lives by Bartocci, Claudio. Publication: . XIII, 330p. 50 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ernst Zermelo - Collected Works/Gesammelte Werke by Zermelo, Ernst. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Ernst Zermelo - Collected Works/Gesammelte Werke II by Zermelo, Ernst. Publication: . XXIX, 781 p. 56 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Course on Mathematical Logic by Srivastava, Shashi Mohan. Publication: . XII, 198 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
L.E.J. Brouwer – Topologist, Intuitionist, Philosopher by Dalen, Dirk. Publication: . XII, 875 p. 97 illus., 19 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Concise Introduction to Mathematical Logic by Rautenberg, Wolfgang. Publication: . XXI, 319p. 25 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
A Beginner's Guide to Discrete Mathematics by Wallis, W.D. Publication: . XIII, 427p. 219 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Proof is in the Pudding by Krantz, Steven G. Publication: . XVII, 264 p. 88 illus., 5 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Mathematical Logic by Li, Wei. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reactive Kripke Semantics by Gabbay, Dov M. Publication: . XII, 442 p. 201 illus., 10 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Complexity of Valued Constraint Satisfaction Problems by Živný, Stanislav. Publication: . XVII, 170 p. 23 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 Next >>