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

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

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 €

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

Φίλτρα

Proofs and Models in Philosophical Logic

Godel's Incompleteness Theorems

Godel's Theorem: A Very Short Introduction

Games for Your Mind: The History and Future of Logic Puzzles

Best Writing on Mathematics 2021

Set Theory

The Logic of Information: A Theory of Philosophy as Conceptual Design

Logic Primer

Saved from the Cellar: Gerhard Gentzen’s Shorthand Notes on Logic and Foundations of Mathematics

Decidability of Logical Theories and Their Combination

Kripke’s Worlds: An Introduction to Modal Logics via Tableaux

Learning MATLAB: A Problem Solving Approach

Universal Logic : An Anthology From Paul Hertz to Dov Gabbay

An Invitation to Abstract Mathematics

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Newsletter

Άμεση παράδοση

Ασφαλείς συναλλαγές

Μεγάλες προσφορές