|
|
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),
|
|
|
Handbook of Set Theory
by Foreman, Matthew.
Publication:
. XIV, 2197p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Selected Correspondence of L.E.J. Brouwer
by Dalen, Dirk.
Publication:
. VIII, 532 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Beginner's Guide to Finite Mathematics
by Wallis, W.D.
Publication:
. XIII, 483p. 186 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Mathematical Experience, Study Edition
by Davis, Philip J.
Publication:
. XXV, 500p. 139 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
A Beginner's Guide to Discrete Mathematics
by Wallis, W.D.
Publication:
. XIII, 427p. 219 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Excursions in the History of Mathematics
by Kleiner, Israel.
Publication:
. XXI, 347p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Olympiad Treasures
by Andreescu, Titu.
Publication:
. VIII, 253p. 93 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Colorado Mathematical Olympiad and Further Explorations
by Soifer, Alexander.
Publication:
. XXXIX, 408p. 185 illus., 18 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Additive Number Theory
by Chudnovsky, David.
Publication:
. XI, 361p. 23 illus., 4 illus. in color.
Availability:
No items available:
|
|
|
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),
|
|
|
Mathematical Logic
by Li, Wei.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Reactive Kripke Semantics
by Gabbay, Dov M.
Publication:
. XII, 442 p. 201 illus., 10 illus. in color.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Complexity of Valued Constraint Satisfaction Problems
by Živný, Stanislav.
Publication:
. XVII, 170 p. 23 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematics of Discrete Structures for Computer Science
by Pace, Gordon J.
Publication:
. XVI, 293 p. 15 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Apartness and Uniformity
by Bridges, Douglas S.
Publication:
. XIV, 198 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conditionals and Modularity in General Logics
by Gabbay, Dov M.
Publication:
. IX, 233 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Algebraic Specification and Formal Software Development
by Sannella, Donald.
Publication:
. XVI, 584 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Tools for Handling Change in Agent-Based Systems
by Gabbay, Dov M.
Publication:
. X, 305p.
Availability:
Copies available:
AUM Main Library
(1),
|
|