Paul Lorenzen -- Mathematician and Logician
Language: en
Pages: 268
Authors: Gerhard Heinzmann
Categories: Mathematics
Type: BOOK - Published: 2021-08-17 - Publisher: Springer Nature

GET EBOOK

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers
A Beautiful Math
Language: en
Pages: 272
Authors: Tom Siegfried
Categories: Science
Type: BOOK - Published: 2006-09-21 - Publisher: National Academies Press

GET EBOOK

Millions have seen the movie and thousands have read the book but few have fully appreciated the mathematics developed by John Nash's beautiful mind. Today Nash
Intersection Theory
Language: en
Pages: 483
Authors: W. Fulton
Categories: Mathematics
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

GET EBOOK

From the ancient origins of algebraic geometry in the solution of polynomial equations, through the triumphs of algebraic geometry during the last two cen turie
A Computational Logic
Language: en
Pages: 414
Authors: Robert S. Boyer
Categories: Mathematics
Type: BOOK - Published: 2014-06-25 - Publisher: Academic Press

GET EBOOK

ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalit
Meaning, Logic and Ludics
Language: en
Pages: 420
Authors: Alain Lecomte
Categories: Computers
Type: BOOK - Published: 2011 - Publisher: World Scientific

GET EBOOK

7. Grammatical reasoning. 7.1. Motivations. 7.2. Modal preliminary. 7.3. Residuation and modalities. 7.4. Linguistic applications. 7.5. Back to quantification.