Mathematical Logic

David Hilbert was particularly interested in the foundations of mathematics. Among many other things, he is famous for his attempt to axiomatize ma...

Reducere. Suitable for advanced undergraduates and graduate students, this self-contained text will appeal to readers from diverse fields and varying backgro...

Reducere. Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and t...

Publisher: Springer SpektrumAuthor(s): Wolfgang ThomasPublication date: 2021Dimensions: 161 x 243 x 21Cover type: HardbackRedescopera farmecul lect...

Reducere. Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with a...

Over a period of 25 years as author of the Mathematical Games column for Scientific American, Martin Gardner devoted a column every six months or s...

In this unique take on a classic mathematical logic course, students are guided in implementing the underlying logical concepts and mathematical pr...

Presents material on computer science issues such as computational complexity and database queries, with coverage of introductory material such as ...

Reducere. Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher a...

This book, presented in two parts, offers a slow introduction to mathematical logic, and several basic concepts of model theory, such as first-orde...

Lewis Carroll's books have delighted children and adults for generations, but behind their exuberant fantasy and delightful nonsense was the mind o...

Reducere. At the intersection of mathematics, computer science, and philosophy, mathematical logic examines the power and limitations of formal mathematical ...

Reducere. This book has been considered by academicians and scholars of great significance and value to literature. This forms a part of the knowledge base f...

Reducere. This book provides an introduction to axiomatic set theory and descriptive set theory. It is written for the upper level undergraduate or beginning...