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