|
|
Natural Deduction, Hybrid Systems and Modal Logics
by Indrzejczak, Andrzej.
Publication:
. XXIII, 514p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Non solo calcoli
by Villani, Vinicio.
Publication:
. XII, 296 pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic: A Brief Course
by Mundici, Daniele.
Publication:
. XI, 130 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logica: Metodo Breve
by Mundici, Daniele.
Publication:
. XI, 126 pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Giuseppe Peano between Mathematics and Logic
by Skof, Fulvia.
Publication:
. X, 190p. 8 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Un mondo di idee
by Ciliberto, Ciro.
Publication:
. VI, 250pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Cylindric-like Algebras and Algebraic Logic
by Andréka, Hajnal.
Publication:
. 478 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Sparsity
by Nešetřil, Jaroslav.
Publication:
. XXIII, 457p. 132 illus., 100 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Thermo-Hydro-Mechanical-Chemical Processes in Porous Media
by Kolditz, Olaf.
Publication:
. XIII, 391p. 278 illus., 168 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hyperfinite Dirichlet Forms and Stochastic Processes
by Albeverio, Sergio.
Publication:
. XIV, 284 p. 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Lives
by Bartocci, Claudio.
Publication:
. XIII, 330p. 50 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Model Theory and Applications
by Mangani, P.
Publication:
. 150p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Aspects of Mathematical Logic
by Casari, E.
Publication:
. 285p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Recursion Theory and Computational Complexity
by Lolli, G.
Publication:
. 236p. 6 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Teoria algebrica dei meccanismi automatici
by Righi, R.
Publication:
. 537pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ernst Zermelo - Collected Works/Gesammelte Werke
by Zermelo, Ernst.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ernst Zermelo - Collected Works/Gesammelte Werke II
by Zermelo, Ernst.
Publication:
. XXIX, 781 p. 56 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Real Numbers
by Stillwell, John.
Publication:
. XVI, 244 p. 62 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Coordinated Inference
by Hardin, Christopher S.
Publication:
. XI, 109 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics, Computer Science and Logic - A Never Ending Story
by Paule, Peter.
Publication:
. VII, 113 p. 35 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|