Αρχική / Θετικές Επιστήμες / Μαθηματικά / Μαθηματική Λογική

Μαθηματική Λογική

Διαθεσιμότητα
Επιλέξτε διαθεσιμότητα
63 προϊόντα
Φίλτρα
Ταξινόμηση ανά:
Τελευταίες παραλαβές
Proofs and Models in Philosophical Logic
Intelligent mental representations of physical, cognitive and social environments allow humans to na...
20,40 € -10%
18,30 €
Godel's Incompleteness Theorems
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incomple...
20,40 € -10%
18,30 €
Godel's Theorem: A Very Short Introduction
Kurt Gödel first published his celebrated theorem, showing that no axiomatization can determine the...
11,00 €
Games for Your Mind: The History and Future of Logic Puzzles
Logic puzzles were first introduced to the public by Lewis Carroll in the late nineteenth century an...
29,00 € -10%
26,00 €
Best Writing on Mathematics 2021
This annual anthology brings together the year’s finest mathematics writing from around the world—an...
29,00 € -10%
26,20 €
Set Theory
Set theory is a branch of mathematics with a special subject matter, the infinite, but also a genera...
20,40 € -10%
18,30 €
The Logic of Information: A Theory of Philosophy as Conceptual Design
Luciano Floridi presents an innovative approach to philosophy, conceived as conceptual design. He ex...
27,50 € -10%
24,70 €
Logic Primer
The new edition of a comprehensive and rigorous but concise introduction to symbolic logic. Logic P...
43,30 € -10%
38,90 €
Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics
Gerhard Gentzen is best known for his development of the proof systems of natural deduction and sequ...
95,40 € -50%
47,70 €
Decidability of Logical Theories and Their Combination
This textbook provides a self-contained introduction to decidability of first-order theories and the...
58,30 € -49%
29,70 €
Kripke’s Worlds: An Introduction to Modal Logics via Tableaux
Possible worlds models were introduced by Saul Kripke in the early 1960s. Basically, a possible worl...
79,50 € -49%
40,30 €
Learning MATLAB: A Problem Solving Approach
This comprehensive and stimulating introduction to Matlab, a computer language now widely used for t...
53,70 €
Universal Logic : An Anthology From Paul Hertz to Dov Gabbay
A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, Gödel, Kripke - giving a gene...
90,10 € -47%
47,70 €
An Invitation to Abstract Mathematics
This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is...
62,00 €
An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs
An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with de...
34,90 € -10%
31,40 €

Newsletter

Εγγραφείτε στο newsletter για να λαμβάνετε πρώτοι τις νέες κυκλοφορίες και τις προσφορές μας
Ο λογαριασμός σας