Title: Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings, Author: Helle Hvid Hansen
Title: The Mathematical Papers of Sir William Rowan Hamilton: Volume 4: Geometry, Analysis, Astronomy, Probability and Finite Differences, Miscellaneous, Author: William Rowan Hamilton
Title: Tests and Proofs: 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings, Author: Virgile Prevosto
Title: Principles of Large Number Domain: Continuum Hypothesis and the Third Mathematical Crisis, Author: Qiang Wang
Title: Mathematik in Österreich und die NS-Zeit: 176 Kurzbiographien, Author: Wolfgang A. F. Ruppert
Title: Evangelista Torricelli: Mathematiker des Großherzogs Ferdinand II. der Toskana, Author: Renato Acampora
Title: Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings, Author: Catherine Dubois
Title: Dynamic Logic. New Trends and Applications: 4th International Workshop, DaLí 2022, Haifa, Israel, July 31-August 1, 2022, Revised Selected Papers, Author: Carlos Areces
Title: Elements of Logic, Author: Richard Whately
Title: Mathematik der Neuzeit: Geschichte der Mathematik in Europa von Vieta bis Euler, Author: Dietmar Herrmann
Title: The Nuts and Bolts of Proofs: An Introduction to Mathematical Proofs, Author: Antonella Cupillari
Title: The Hasse - Noether Correspondence 1925 -1935: English Translation with Extensive Commentary, Author: Peter Roquette
Title: An Elementary Transition to Abstract Mathematics, Author: Gove Effinger
Title: Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996-2016): 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings, Author: Maxime Amblard
Title: Logic in Question: Talks from the Annual Sorbonne Logic Workshop (2011- 2019), Author: Jean-Yves Béziau
Title: Prawitz's Epistemic Grounding: An Investigation into the Power of Deduction, Author: Antonio Piccolomini d'Aragona
Title: Kurt Gödel: The Princeton Lectures on Intuitionism, Author: Maria Hämeen-Anttila
Title: Current Issues and Enduring Questions: A Guide to Critical Thinking and Argument, with Readings, Author: Sylvan Barnet
Title: Logic - Language - Ontology: Selected Works, Author: Urszula B. Wybraniec-Skardowska
Title: The Theory of Gödel, Author: Carlo Cellucci

Pagination Links