|
|
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),
|
|
|
Cognitive Reasoning
by Gergely, Tamás.
Publication:
. X, 437p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
From Linear Operators to Computational Biology
by Davis, Martin.
Publication:
. XI, 208 p. 16 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Belief Revision in Non-Classical Logics
by Ribeiro, Márcio Moretto.
Publication:
. XI, 120 p. 5 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Mathematical Logic for Computer Science
by Ben-Ari, Mordechai.
Publication:
. XV, 346 p. 79 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The P=NP Question and Gödel’s Lost Letter
by Lipton, Richard J.
Publication:
. XIII, 239p. 20 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Stochastic Calculus with Infinitesimals
by Herzberg, Frederik.
Publication:
. XVIII, 112 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
From Objects to Diagrams for Ranges of Functors
by Gillibert, Pierre.
Publication:
. CLVIII, 10p. 19 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Banach Spaces and Descriptive Set Theory: Selected Topics
by Dodos, Pandelis.
Publication:
. X, 160p.
Availability:
Copies available:
AUM Main Library
(1),
|
|