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

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

Φίλτρα

Διαθεσιμότητα
Επιλέξτε διαθεσιμότητα
Συγγραφέας
Επιλέξτε συγγραφέα
Εκδότης
Επιλέξτε εκδότη
Έτος κυκλοφορίας
Επιλέξτε έτος κυκλοφορίας
71 προϊόντα
Φίλτρα
Ταξινόμηση ανά:
Τελευταίες παραλαβές
Variational Views in Mechanics

Variational Views in Mechanics

This volume provides a timely survey of interactions between the calculus of variations and theoreti...
106,00 € -50%
53,00 €
Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Exploring Formalisation: A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verificati...
53,00 € -50%
26,50 €
Hilary Putnam on Logic and Mathematics

Hilary Putnam on Logic and Mathematics

This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading...
127,20 € -50%
63,60 €
Kurt Godel: The Princeton Lectures on Intuitionism

Kurt Godel: The Princeton Lectures on Intuitionism

Paris of the year 1900 left two landmarks: the Tour Eiffel, and David Hilbert's celebrated list of t...
106,00 € -50%
53,00 €
Introduction to Logic

Introduction to Logic

This book is a gentle but rigorous introduction to Formal Logic. It is intended primarily for use at...
53,00 € -50%
26,50 €
Mathematical Logic: Exercises and Solutions

Mathematical Logic: Exercises and Solutions

This book gathers together a colorful set of problems on classical Mathematical Logic, selected from...
53,00 € -50%
26,50 €
Non-commutative Multiple-Valued Logic Algebras

Non-commutative Multiple-Valued Logic Algebras

This monograph provides a self-contained and easy-to-read introduction to non-commutative multiple-v...
53,00 € -50%
26,50 €
Journey to the Edge of Reason: The Life of Kurt Godel

Journey to the Edge of Reason: The Life of Kurt Godel

The first major biography written for a general audience of the logician and mathematician whose Inc...
21,60 € -10%
19,40 €
Representation Theory of Solvable Lie Groups and Related Topics

Representation Theory of Solvable Lie Groups and Related Topics

The purpose of the book is to discuss the latest advances in the theory of unitary representations a...
106,00 € -50%
53,00 €
The Enjoyment of Math

The Enjoyment of Math

What is so special about the number 30? Do the prime numbers go on forever? Are there more whole num...
23,30 € -10%
20,90 €
The Joy of Abstraction: An Exploration of Math, Category Theory, and Life

The Joy of Abstraction: An Exploration of Math, Category Theory, and Life

Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics...
36,70 € -10%
33,00 €
The Story of Proof: Logic and the History of Mathematics

The Story of Proof: Logic and the History of Mathematics

The Story of Proof investigates the evolution of the concept of proof—one of the most significant an...
52,40 € -10%
47,00 €
Proofs and Models in Philosophical Logic

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

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

Godel's Theorem: A Very Short Introduction

Kurt Gödel first published his celebrated theorem, showing that no axiomatization can determine the...
11,00 €

Newsletter

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