|
|
Logical Foundations of Mathematics and Computational Complexity
by Pudlák, Pavel.
Publication:
. XIV, 695 p. 49 illus., 4 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Towards a General Theory of Classifications
by Parrochia, Daniel.
Publication:
. XXIII, 304 p. 72 illus., 1 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Visual Reasoning with Diagrams
by Moktefi, Amirouche.
Publication:
. XV, 200 p. 139 illus., 13 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Around and Beyond the Square of Opposition
by Béziau, Jean-Yves.
Publication:
. X, 379p. 152 illus., 19 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematics of Paul Erdős II
by Graham, Ronald L.
Publication:
. XIX, 607 p. 66 illus., 2 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
An Invitation to Abstract Mathematics
by Bajnok, Béla.
Publication:
. XIV, 406 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Course on Mathematical Logic
by Srivastava, Shashi Mohan.
Publication:
. XII, 198 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Introduction to Mathematical Structures and Proofs
by Gerstein, Larry J.
Publication:
. XIII, 401 p. 133 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Lecture Notes on O-Minimal Structures and Real Analytic Geometry
by Miller, Chris.
Publication:
. VII, 242 p. 26 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Logical Introduction to Proof
by Cunningham, Daniel W.
Publication:
. XV, 356 p. 145 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Ancient Astronomical Observations and the Study of the Moon’s Motion (1691-1757)
by Steele, John M.
Publication:
. XIV, 154p. 13 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
Logic and Structure
by Dalen, Dirk.
Publication:
. X, 263 p. 27 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Combinatorial Set Theory
by Halbeisen, Lorenz J.
Publication:
. XVI, 456 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reading, Writing, and Proving
by Daepp, Ulrich.
Publication:
. XIV, 378 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Proofs and Fundamentals
by Bloch, Ethan D.
Publication:
. XXVI, 358 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Hill-Brown Theory of the Moon’s Motion
by Wilson, Curtis.
Publication:
. XIV, 323p. 9 illus., 8 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Between Theory and Observations
by Wepster, Steven.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Concise Introduction to Mathematical Logic
by Rautenberg, Wolfgang.
Publication:
. XXI, 319p. 25 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Course in Mathematical Logic for Mathematicians
by Manin, Yu. I.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|