Formal Logic – alle Bücher, LPs und CDs, Seite 2

Graham Priest
Logic: A Very Short Introduction

Very Short Introductions

Graham Priest shows that formal logic is a powerful, exciting part of modern philosophy -- a tool for thinking about everything from the existence of God and the reality of time to paradoxes of probabilit…

sofort lieferbar

Buch

Neil Tennant
Logic. A Primer

This introduction to formal logic is for students of Philosophy, Mathematics, Computer Science, and/or Linguistics. Philosophically sensitive, historically and linguistically informed, and mathematically …

lieferbar innerhalb 2-3 Wochen

Buch

Carroll Morgan
Formal Methods, Informally

Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by form…

lieferbar innerhalb 2-3 Wochen

Buch

Carroll Morgan
Formal Methods, Informally

Learn to program more effectively, faster, with better results... and enjoy both the learning experience and the benefits it ultimately brings. While this undergraduate-level textbook is motivated by form…

lieferbar innerhalb 2-3 Wochen

Buch

Sophie Taeuber-Arp: La règle des courbes / The Rule of Curves

An absorbing study of Swiss artist Sophie Taeuber-Arp's influential work, looking in depth at the role of the curve in the artist's formal lexicon.Edited and introduced by Briony Fer, Sophie Taeuber-Arp: …

lieferbar innerhalb 1-2 Wochen

Buch

Wolfgang Schreiner
Thinking Programs

Texts & Monographs in Symbolic Computation

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their dai…

lieferbar innerhalb 2-3 Wochen

Buch

Aristotle's Organon in Old and New Logic

Aristotle's Organon in Old and New Logic 1800-1950 explores the reception and interpretation of Aristotle's logic over the last two centuries. The volume covers seminal works during this period by logicia…

lieferbar ab 20.8.2026.

Buch

Principles of Formal Quantitative Analysis

Lecture Notes in Computer Science - Band 15760

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and proba…

lieferbar innerhalb 2-3 Wochen

Buch

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

Trefferliste "Formal Logic" - alle Bücher, LPs und CDs