|
|
The Argument of Mathematics
by Aberdein, Andrew.
Publication:
. X, 393 p. 74 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
by Geldsetzer, Lutz.
Publication:
. XLIV, 137 p. 10 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Epistemology versus Ontology
by Dybjer, P.
Publication:
. XXVII, 385 p. 18 illus.
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),
|
|
|
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),
|
|
|
Logic and Philosophy of Mathematics in the Early Husserl
by Centrone, Stefania.
Publication:
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),
|
|
|
Natural Deduction, Hybrid Systems and Modal Logics
by Indrzejczak, Andrzej.
Publication:
. XXIII, 514p.
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),
|
|