Mathematicallogic – alle Bücher

Dirk W. Hoffmann
Limits of Mathematics

Mathematics Study Resources - Band 19

Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth centu…

lieferbar innerhalb 2-3 Wochen

Buch

The Heuristic View

This volume offers a series of thought-provoking analyses that explore non-mainstream perspectives on knowledge acquisition and scientific discovery. A central theme across many of the contributions is th…

lieferbar innerhalb 2-3 Wochen

Buch

John Stillwell
The Story of Proof

How the concept of proof has enabled the creation of mathematical knowledgeThe Story of Proof investigates the evolution of the concept of proof-one of the most significant and defining features of mathem…

lieferbar ab 8.9.2026.

Buch

Kurt Gödel, Hans Hahn,
Mathematical Logic in Vienna

Vienna Circle Institute Library - Band 13

This book is a record of a seminar on mathematical logic Kurt Gödel and Hans Hahn held in Vienna in 1931-32. The seminar proceedings, given in English translation, are a unique witness of the state of res…

lieferbar innerhalb 2-3 Wochen

Buch

Francisco Rodríguez-Consuegra
Russell, Gödel, Tarski

Studies in Universal Logic

This book is a compilation of the author's most important papers about the contributions of Bertrand Russell, Kurt Gödel, and Alfred Tarski to the philosophy of logic and mathematics. It also includes a p…

lieferbar innerhalb 2-3 Wochen

Buch

The Times
The Times Kakuro Book 2

Test your powers of logic with 200 puzzles from The Times*.*Just like a mathematical crossword, these puzzles are ideal for fans of Su Doku who relish grappling with figures. Contains four levels of diffi…

lieferbar innerhalb 1-2 Wochen

Buch

The Times Mind Games
The Times Kakuro

Test your powers of logic with 200 puzzles from The Times*.*Just like a mathematical crossword, these puzzles are ideal for fans of Su Doku who relish grappling with figures. Contains four levels of diffi…

Erscheint bald

Buch

Rethinking the History of Logic, Mathematics and Exact Sciences

The two volumes are dedicated to Volker Peckhaus, editor of the well-known Journal History and Philosophy of Logic, who has been playing a major role in shaping the philosophical and social history of log…

lieferbar innerhalb 2-3 Wochen

Buch

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that can be used in practice to express and reason about mathematical ideas. The book is an introduction to sim…

lieferbar innerhalb 2-3 Wochen

Buch

Ludwig Wittgenstein,
Remarks on Mathematics and Logic

The first of five planned volumes, this book collects Wittgenstein's unabridged writings on mathematics and logic composed between 1941 and 1943.In 1956, a significant but abridged portion of Ludwig Wittg…

Erscheint bald

Buch

Guillermo Badia, John N Crossley, John C Stillwell, Christopher J Ash
What Is Mathematical Logic?

Mathematical logic has grown into an indispensable tool in computer science as well as other parts of mathematics. This concise book presents the subject of mathematical logic in a lively and approachable…

lieferbar innerhalb 1-2 Wochen

Buch