Mathematical foundations books

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 outlines a vast array of techniques and methods regarding model categories, without focussing on the intricacies...  Read More >>

Speculative and experimental studies in metamathematics  Read More >>

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

This book offers an original introduction to the representation theory of algebras, suitable for beginning researchers...  Read More >>

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

This book provides an introduction to some key subjects in algebra and topology. It consists of comprehensive texts...  Read More >>

 Read More >>

200 Sudoku Rätsel mit Lösungen. Schwierigkeit: Schwer. Sudoku funktioniert so: In jedem der 9 Felder müssen...  Read More >>

 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 >>

 Read More >>

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

This book provides an organized exposition of the current state of the theory of commutative semigroup cohomology,...  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 >>

Arithmetic is among the elementary branches of mathematics. It involves the study of numbers, relations between...  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 >>