Mathematical Logic – alle Bücher

Ihre Suche nach "Mathematical Logic" (Bücher) ergab 16 Treffer.

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

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

David Marker
An Invitation to Mathematical Logic

In addition to covering the essentials, the author's intention in writing this text is to entice the reader to further study mathematical logic. There is no current "standard text" for a first g…

lieferbar innerhalb 2-3 Wochen

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 ab 11.3.2026.

Buch

The Times
The Times Kakuro Book 2

The perfect stocking filler for the puzzle fan in your family this Christmas.Test your powers of logic with 200 puzzles from The Times*.*Just like a mathematical crossword, these puzzles are ideal for fan…

lieferbar innerhalb 1-2 Wochen

Buch

Dirk W. Hoffmann
Limits of Mathematics

1 Historic Notes.- 2 Formal Systems.- 3 Foundations of Mathematics.- 4 Peoof Thory.- 5 Computability Theory.- 6 Algorithmic Information Theory.- Model Theory.

lieferbar innerhalb 2-3 Wochen

Buch

William M. Farmer
Simple Type Theory

Chapter 1 Introduction.- Chapter 2 Answers to Readers' Questions.- Chapter 3 Preliminary Concepts.- Chapter 4 Syntax.- Chapter 5 Semantics.- Chapter 6 Additional Notation.- Chapter 7 Beta-reduction and Su…

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

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

The Heuristic View

1 The Heuristic View: Historical Roots and Emerging Perspectives (Emiliano Ippoliti, Fabio Sterpetti).- 2 The Two Paradigms of Logic (Carlo Cellucci).- 3 Lakatos' Contribution to the Philosophy of Mathema…

lieferbar innerhalb 2-3 Wochen

Buch

Daniel Wollschläger
Grundlagen der Datenanalyse mit R

Statistik und ihre Anwendungen

Dieses Buch liefert eine anwendungsorientierte Einführung in die Datenauswertung mit der freien Statistikumgebung R. Es behandelt deskriptive Auswertungen ebenso umfassend wie inferenzstatistische Analyse…

lieferbar ab 1.3.2026.

Buch

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

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

Antonio Montalbán
Computable Structure Theory

Computable structure theory quantifies and studies the relative complexity of mathematical structures. This text, in conjunction with the author's previous volume, represents the first full monograph on c…

lieferbar ab 31.1.2026.

Buch

Sébastien Gandon
Bertrand Russell and the Global Reception of Analytic Philosophy

History of Analytic Philosophy

This book provides the first exploration of a new field of study, that of the global reception of analytic philosophy. Its aim is to understand how Russell's program of logical analysis of philosophy was …

lieferbar ab 28.2.2026.

Buch

Cenzer Douglas
Set Theo & Found Math (V1-2nd Ed)

This book presents both axiomatic and descriptive set theory, targeting upper-level undergraduate and beginning graduate students. It aims to equip them for advanced studies in set theory, mathematical lo…

lieferbar innerhalb 2-3 Wochen

Buch

Bernhard Ganter, Rudolf Wille
Formal Concept Analysis

Formal Concept Analysis is a field of applied mathematics based on the mathematization of concept and conceptual hierarchy. It thereby activates mathematical thinking for conceptual data analysis and kn…

lieferbar innerhalb 2-3 Wochen

Buch

Lorenz Halbeisen, Regula Krapf
Gödel's Theorems and Zermelo's Axioms

This book provides a concise and self-contained introduction to the foundations of mathematics. The first part covers the fundamental notions of mathematical logic, including logical axioms, formal proofs…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.