Logical Mathematics

Mathematics and the Real World: The Remarkable Role of Evolution in the Making of Mathematics (Repost)

Zvi Artstein, "Mathematics and the Real World: The Remarkable Role of Evolution in the Making of Mathematics"
English | 2014 | ISBN: 1616140917 | 426 pages | EPUB | 2,2 MB

The Logical Syntax of Greek Mathematics  eBooks & eLearning

Posted by AvaxGenius at June 21, 2021
The Logical Syntax of Greek Mathematics

The Logical Syntax of Greek Mathematics by Fabio Acerbi
English | PDF | 2021 | 400 Pages | ISBN : 3030769585 | 4.7 MB

The aim of this monograph is to describe Greek mathematics as a literary product, studying its style from a logico-syntactic point of view and setting parallels with logical and grammatical doctrines developed in antiquity. In this way, major philosophical themes such as the expression of mathematical generality and the selection of criteria of validity for arguments can be treated without anachronism. Thus, the book is of interest for both historians of ancient philosophy and specialists in Ancient Greek, in addition to historians of mathematics.

Taxmann's QUICKER for Business Mathematics Logical Reasoning & Statistics  eBooks & eLearning

Posted by Free butterfly at April 27, 2023
Taxmann's QUICKER for Business Mathematics Logical Reasoning & Statistics

Taxmann's QUICKER for Business Mathematics Logical Reasoning & Statistics by Kailash Thakur
English | 2021 | ISBN: 0005335310 | EPUB | 1.71 Mb
Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy

Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics - Kurt Gödel's Legacy (Lecture Notes in Logic, Book 6) by Petr Hájek
English | 2017 | ISBN: 1107168023 | 330 pages | PDF | 36,5 MB

Logical Methods: The Art of Thinking Abstractly and Mathematically  eBooks & eLearning

Posted by AvaxGenius at Feb. 11, 2021
Logical Methods: The Art of Thinking Abstractly and Mathematically

Logical Methods: The Art of Thinking Abstractly and Mathematically by Roger Antonsen
English | PDF | 2021 | 301 Pages | ISBN : 303063776X | 4.6 MB

Many believe mathematics is only about calculations, formulas, numbers, and strange letters. But mathematics is much more than just crunching numbers or manipulating symbols. Mathematics is about discovering patterns, uncovering hidden structures, finding counterexamples, and thinking logically. Mathematics is a way of thinking. It is an activity that is both highly creative and challenging.

Elements of Logical Reasoning (repost)  eBooks & eLearning

Posted by roxul at June 8, 2017
Elements of Logical Reasoning (repost)

Jan von Plato, "Elements of Logical Reasoning"
English | ISBN: 1107036593, 110761077X | 2014 | 271 pages | PDF | 1 MB
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements

Lutz Geldsetzer, "Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements"
English | ISBN: 9400753004 | 2013 | 140 pages | EPUB, PDF | 356 KB + 1523 KB
Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23

Paul C. Gilmore, "Logicism Renewed: Logical Foundations for Mathematics And Computer Science, Lecture Notes in Logic, 23"
English | ISBN: 1568812752 | 2005 | 250 pages | PDF | 11 MB

A Logical Introduction to Proof (repost)  eBooks & eLearning

Posted by interes at Oct. 22, 2018
A Logical Introduction to Proof (repost)

A Logical Introduction to Proof by Daniel W. Cunningham
English | 2013 | ISBN: 1461436303, 1461436303 | 371 pages | PDF | 4,3 MB

Logical Studies of Paraconsistent Reasoning in Science and Mathematics  eBooks & eLearning

Posted by AvaxGenius at July 13, 2020
Logical Studies of Paraconsistent Reasoning in Science and Mathematics

Logical Studies of Paraconsistent Reasoning in Science and Mathematics by Holger Andreas
English | EPUB | 2016 | 221 Pages | ISBN : 3319402188 | 2.52 MB

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics.