//]]>
Logic and Philosophy of Mathematics in the Early Husserl by Centrone, Stefania. Publication: Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Proofs of the Cantor-Bernstein Theorem by Hinkis, Arie. Publication: . XXIII, 429 p. 29 illus., 3 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advanced Łukasiewicz calculus and MV-algebras by Mundici, D. Publication: . XVIII, 258 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
Non solo calcoli by Villani, Vinicio. Publication: . XII, 296 pagg. 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
Giuseppe Peano between Mathematics and Logic by Skof, Fulvia. Publication: . X, 190p. 8 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Un mondo di idee by Ciliberto, Ciro. Publication: . VI, 250pagg. 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
Hyperfinite Dirichlet Forms and Stochastic Processes by Albeverio, Sergio. Publication: . XIV, 284 p. 1 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
Model Theory and Applications by Mangani, P. Publication: . 150p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Aspects of Mathematical Logic by Casari, E. Publication: . 285p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recursion Theory and Computational Complexity by Lolli, G. Publication: . 236p. 6 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Teoria algebrica dei meccanismi automatici by Righi, R. Publication: . 537pagg. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart