Mathematical logic books

5434 books were found.

What Makes Us Smart: The Computational Logic of Human Cognition

What Makes Us Smart: The Computational Logic of Human...

Author: Samuel J. Gershman
ISBN: 9780691205700
Format: Hardback
$225.00

How a computational framework can account for the successes and failures of human cognition At the heart of human...  Read More >>

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation of Mathematics

Gödel's Theorems and Zermelo's Axioms: A Firm Foundation...

Author: Lorenz Halbeisen ,  Regula Krapf
ISBN: 9783030522810
Format: Paperback
$116.41

A recurring theme in the whole book consists of standard and non-standard models of several theories, such as Peano...  Read More >>

Relational and Algebraic Methods in Computer Science: 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021, Proceedings

Relational and Algebraic Methods in Computer Science:...

Author: Uli Fahrenberg ,  Mai Gehrke
ISBN: 9783030887001
Format: Paperback
$168.16

This book constitutes the proceedings of the 19th International Conference on Relational and Algebraic Methods in...  Read More >>

Selected Topics from Contemporary Logics

Selected Topics from Contemporary Logics

Author: Melvin Fitting
ISBN: 9781848903500
Format: Paperback
$53.04

 Read More >>

Time & Logic: A Computational Approach

Time & Logic: A Computational Approach

Author: Leonard Bolc ,  Andrzej Szałas
ISBN: 9780367336578
Format: Paperback
$73.99

Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented...  Read More >>

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

Alasdair Urquhart on Nonclassical and Algebraic Logic...

Author: Ivo Düntsch ,  Edwin Mares
ISBN: 9783030714291
Format: Hardback
$310.47

This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity...  Read More >>

Sudoku: 100 Expert Puzzles Volume 81 - Train Your Brain!

Sudoku: 100 Expert Puzzles Volume 81 - Train Your Brain!...

Author: Dylan Bennett
ISBN: 9798750890453
Format: Paperback
$14.98

Hours of puzzles to enjoy! 100 Expert Sudoku Puzzles Easy-to-read solutions Great for all skill levels! A perfect...  Read More >>

Paul Lorenzen -- Mathematician and Logician

Paul Lorenzen -- Mathematician and Logician

Author: Gerhard Heinzmann ,  Gereon Wolters
ISBN: 9783030658267
Format: Paperback
$90.54

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter...  Read More >>

Sudoku: 50 Easy to Expert Puzzles Volume 68 - Train Your Brain!

Sudoku: 50 Easy to Expert Puzzles Volume 68 - Train...

Author: Dylan Bennett
ISBN: 9798499483862
Format: Paperback
$15.03

Give your brain a workout! 12 Easy, 12 Medium, 12 Hard, 14 Expert Sudoku Puzzles Easy-to-read solutions Great for...  Read More >>

Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts

Louis Couturat: The History of Modern Symbolic Logic...

Author: Oliver Schlaudt ,  Anne-Francoise Schmid
ISBN: 9783030848279
Format: Hardback
$310.47

This volume features a critical edition of the recently rediscovered manuscripts written by the French philosopher...  Read More >>

Structures Mères: Semantics, Mathematics, and Cognitive Science

Structures Mères: Semantics, Mathematics, and Cognitive...

Author: Alberto Peruzzi ,  Silvano Zipoli Caiani
ISBN: 9783030518233
Format: Paperback
$116.41

This book reports on cutting-edge concepts related to Bourbaki’s notion of structures mères.  Read More >>

Sudoku: 100 Easy to Expert Puzzles Volume 62 - Train Your Brain!

Sudoku: 100 Easy to Expert Puzzles Volume 62 - Train...

Author: Dylan Bennett
ISBN: 9798496189514
Format: Paperback
$15.21

Strengthen your mind today! 18 Easy, 27 Medium, 28 Hard, 27 Expert Sudoku Puzzles Easy-to-read solutions Great...  Read More >>

Sudoku puzzles for adults Easy: 600 puzzles book with solution for Sudoku lover

Sudoku puzzles for adults Easy: 600 puzzles book with...

Author: Jeffrey Keith
ISBN: 9798494243003
Format: Paperback
$13.77

 Read More >>

Easy to hard sudoku puzzle book with solutions for adults: 600 puzzles for Sudoku lover

Easy to hard sudoku puzzle book with solutions for adults:...

Author: Jeffrey Keith
ISBN: 9798493618109
Format: Paperback
$13.77

 Read More >>

Modelling Nature: An Opinionated Introduction to Scientific Representation

Modelling Nature: An Opinionated Introduction to Scientific...

Author: Roman Frigg ,  James Nguyen
ISBN: 9783030451554
Format: Paperback
$258.72

This monograph offers a critical introduction to current theories of how scientific models represent their target...  Read More >>

Quaternions for Computer Graphics

Quaternions for Computer Graphics

Author: John Vince
ISBN: 9781447175087
Format: Hardback
$155.22

If you have ever wondered what quaternions are — then look no further, John Vince will show you how simple and useful...  Read More >>

Bernard Bolzano Gesamtausgabe / Einleitungsbande. Band E 3: Bernard Bolzanos System Der Philosophie

Bernard Bolzano Gesamtausgabe / Einleitungsbande. Band...

Author: Bernard Bolzano ,  Edgar Morscher
ISBN: 9783772826597
Format: Hardback
$1312.08

English summary: Bernard Bolzano's work as a scholar and scientist was guided by the idea that all the truths of...  Read More >>

Leibniz and the Structure of Sciences: Modern Perspectives on the History of Logic, Mathematics, Epistemology

Leibniz and the Structure of Sciences: Modern Perspectives...

Author: Vincenzo De Risi
ISBN: 9783030255749
Format: Paperback
$336.35

The book offers a collection of essays on various aspects of Leibniz’s scientific thought, written by historians...  Read More >>

Laws and Explanations; Theories and Modal Possibilities

Laws and Explanations; Theories and Modal Possibilities...

Author: Arnold Koslow
ISBN: 9783030188481
Format: Paperback
$142.29

The book has two parts: In the first, after a review of some seminal classical accounts of laws and explanations,...  Read More >>

Graham Priest on Dialetheism and Paraconsistency

Graham Priest on Dialetheism and Paraconsistency

Author: Can Başkent ,  Thomas Macaulay Ferguson
ISBN: 9783030253677
Format: Paperback
$388.10

This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced...  Read More >>

Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List