|
|
Emilie du Châtelet between Leibniz and Newton
by Hagengruber, Ruth.
Publication:
. XVI, 256 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Weighing the World
by McCormmach, Russell.
Publication:
. XVIII, 490 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Treatise on Intuitionistic Type Theory
by Granström, Johan Georg.
Publication:
. XIV, 198 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Strict Finitism and the Logic of Mathematical Applications
by Ye, Feng.
Publication:
. XII, 272 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Truth and Falsehood
by Shramko, Yaroslav.
Publication:
. XIV, 250 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Games, Norms and Reasons
by van Benthem, Johan.
Publication:
. XVI, 232 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundational Theories of Classical and Constructive Mathematics
by Sommaruga, Giovanni.
Publication:
. XII, 316 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Commentary on the Principles of Thermodynamics by Pierre Duhem
by Needham, Paul.
Publication:
. XVI, 216 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic, Mathematics, Philosophy, Vintage Enthusiasms
by DeVidi, David.
Publication:
. XVIII, 486 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Proof, Computation and Agency
by van Benthem, Johan.
Publication:
. XXIV, 372 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Galileo Engineer
by Valleriani, Matteo.
Publication:
. XXII, 320p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic and Philosophy of Mathematics in the Early Husserl
by Centrone, Stefania.
Publication:
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
La fine dei cieli di cristallo
by Buonanno, Roberto.
Publication:
. XII, 228pagg.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Philosophy in Science
by Heller, Michael.
Publication:
. XI, 167p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
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),
|
|
|
LAWS, LANGUAGE and LIFE
by Pattee, Howard Hunt.
Publication:
. XV, 333 p. 1 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Advanced Łukasiewicz calculus and MV-algebras
by Mundici, D.
Publication:
. XVIII, 258 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Methods of Cut-Elimination
by Leitsch, Alexander.
Publication:
. VI, 290 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Dual Tableaux: Foundations, Methodology, Case Studies
by Orlowska, Ewa.
Publication:
. XVI, 523 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Hybrid Logic and its Proof-Theory
by Braüner, Torben.
Publication:
. XIII, 231 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|