Free Delivery Over $100
5346 books were found.
Read More >>
This book provides a comprehensive introduction to the foundations of cryptography and network security. As well... Read More >>
1 Livro 1 Exerc�cio N�vel 2 da Cole��o Os Elementos Seguindo a sequ�ncia de exerc�cios Peculiares Os 5500 Elementos... Read More >>
In questo libro sono presentati i presupposti teorici dei seguenti argomenti matematici: geometria piana (concetti... Read More >>
This book proves some important new theorems in the theory of canonical inner models for large cardinal hypotheses,... Read More >>
This book presents mathematical logic from the syntactic point of view, with an emphasis on aspects that are fundamental... Read More >>
How the concept of proof has enabled the creation of mathematical knowledge. The Story of Proof investigates the... Read More >>
The essays in this volume present a case for pluralism in mathematics and its logics, largely supporting coexistence... 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 >>
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 >>
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 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 >>
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 >>