Leśniewski's Systems of Logic and Foundations of Mathematics (Trends in Logic) 9783319004822

Foundations Of Mathematical Logic

3,921 877 27MB Read more

Philosophical Approaches to the Foundations of Logic and Mathematics In Honor of Stanisław Krajewski 9004445943, 9789004445949

Eleven papers collected in the volume Philosophical Approaches to the Foundations of Logic and Mathematics address vario

238 39 2MB Read more

Foundations of the Theory of Parthood: A Study of Mereology (Trends in Logic, 54) 3030365328, 9783030365325

This is the first book to systematically study the weak systems of mereology. In its chapters, the author critically ana

216 125 7MB Read more

The Concept of Motion in Ancient Greek Thought: Foundations in Logic, Method, and Mathematics 1108477909, 9781108477901

This book examines the birth of the scientific understanding of motion. It investigates which logical tools and methodol

786 122 5MB Read more

Sets, Logic, and Mathematical Foundations

Lectures given at a Summer Institute for Teachers of Secondary and College Mathematics, sponsored by the National Scienc

745 280 31MB Read more

Two Applications of Logic to Mathematics 9781400871346

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of h

388 137 4MB Read more

Use of abstraction and logic in mathematics 1774695006, 9781774695005

“The Use of Abstraction and Logic in Mathematics” is an edited book consisting of 16 contemporaneous open-access article

421 126 16MB Read more

Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics (Outstanding Contributions to Logic, 20) 3030665445, 9783030665449

This book is dedicated to the life and work of the mathematician Joachim Lambek (1922–2014). The editors gather together

394 106 7MB Read more

Meaning and Proscription in Formal Logic: Variations on the Propositional Logic of William T. Parry (Trends in Logic Book 49) [1st ed. 2017] 9783319708218, 9783319708201, 331970821X

217 107 4MB Read more

Classical Mathematical Logic: The Semantic Foundations of Logic [Course Book ed.] 9781400841554

In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivati

1,919 219 2MB Read more