Mathematical logic books

 Read More >>

When Kurt Gödel published his celebrated theorem, showing that no axiomatization can determine the whole truth and...  Read More >>

 Read More >>

The essays in this volume present a case for pluralism in mathematics and its logics, largely supporting coexistence...  Read More >>

This book is dedicated to V.A. Yankov’s seminal contributions to the theory of propositional logics. His papers,...  Read More >>

This book presents a new nominalistic philosophy of mathematics: semantic conventionalism. Its central thesis is...  Read More >>

It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming,...  Read More >>

The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the...  Read More >>

Presents contemporaneous open-access articles that are essentially devoted to mathematical logic research, from...  Read More >>

Presents articles that cover the different aspects of learning and teaching mathematical proof. The first part sums...  Read More >>

This monograph gathers the author's results obtained since April 2019, which have been published in seven papers....  Read More >>

On Gödel’s Incompleteness Theorems in mathematical logic, at upper undergraduate level.  Read More >>

This book describes some basic principles that allow developers of computer programs (computer scientists, software...  Read More >>

The GUHA is a method of mechanizing hypothesis formation. The input of the GUHA procedure consists of analysed data...  Read More >>

 Read More >>

In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method,...  Read More >>

Journey through the world of abstract mathematics into category theory with popular science author Eugenia Cheng....  Read More >>

Sudokublock - 200 Ratsel von leicht bis sehr schwer 50 easy, 50 medium, 50 hard, 50 very hard Logisches Denken...  Read More >>

 Read More >>

He [Kronecker] was, in fact, attempting to describe and to initiate a new branch of mathematics, which would contain...  Read More >>

Readers will learn how to automatically prove or disprove new results in combinatorics and number theory in milliseconds...  Read More >>

A lively and engaging look at logic puzzles and their role in recreation, mathematics, and philosophy.  Read More >>

This book defines a logical system called the Protocol-theoretic Logic of Epistemic Norms (PLEN), it develops PLEN...  Read More >>

This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity...  Read More >>

 Read More >>