Mathematical logic books

5407 books were found.

Formal Methods: State of the Art and New Directions

Formal Methods: State of the Art and New Directions...
Author: Paul Boca , Jonathan P. Bowen ISBN: 9781447157458 Format: Paperback	$290.37
Read More >>

Specification and Verification of Multi-agent Systems

Specification and Verification of Multi-agent Systems...
Author: Mehdi Dastani , Koen V. Hindriks ISBN: 9781489990884 Format: Paperback	$448.77
Written by leading experts in the field, this volume presents a coherent treatment of the area of formal specification... Read More >>

The P=NP Question and Gödel’s Lost Letter

The P=NP Question and Gödel’s Lost Letter
Author: Richard J. Lipton ISBN: 9781489992727 Format: Paperback	$290.37
This book is a collection of some of the most popular posts from my blog— Godel ¨ Lost Letter andP=NP—which I started... Read More >>

A Logical Introduction to Proof

A Logical Introduction to Proof
Author: Daniel W. Cunningham ISBN: 9781489990990 Format: Paperback	$145.17
Read More >>

The Formula Lib/E: How Algorithms Solve All Our Problems... and Create More

The Formula Lib/E: How Algorithms Solve All Our Problems......
Author: Luke Dormehl , Daniel Weyman ISBN: 9798200617647 Format: Audio	$79.15
A fascinating guided tour of the complex, fast-moving, and influential world of algorithms--what they are, why they're... Read More >>

Frege's Theorem

Frege's Theorem
Author: Richard G. Heck, Jr. (Brown University) ISBN: 9780198708988 Format: Paperback	$70.95
Read More >>

Petr Hájek on Mathematical Fuzzy Logic

Petr Hájek on Mathematical Fuzzy Logic
Author: Franco Montagna ISBN: 9783319062327 Format: Hardback	$290.37
Petr Hajek on Mathematical Fuzzy Logic Read More >>

Griddlers Logic Puzzles: Extra Large

Griddlers Logic Puzzles: Extra Large
Author: Rastislav Rehak , Elad Maor ISBN: 9789657679432 Format: Paperback	$47.52
This great collection of extra large griddlers puzzles (aka: Picross, Nonograms) features extra big puzzles with... Read More >>

Abductive Analysis: Theorizing Qualitative Research

Abductive Analysis: Theorizing Qualitative Research...
Author: Iddo Tavory , Stefan Timmermans ISBN: 9780226180311 Format: Paperback	$36.95
Provides a new navigational map for constructing empirically based generalizations in qualitative research. The... Read More >>

Symbolic Logic: {Complete & Illustrated}

Symbolic Logic: {Complete & Illustrated}
Author: Murat Ukray , Lewis Carroll ISBN: 9781503027404 Format: Paperback	$31.02
"I shall be grateful to any Reader of this book who will point out any mistakes or misprints he may happen to notice... Read More >>

I.C.O. Book of Logic: ICO High IQ Network

I.C.O. Book of Logic: ICO High IQ Network
Author: Randy Myers (Old Dominion University USA) ISBN: 9781502899149 Format: Paperback	$21.09
This book contains 100 matrices. You can use this book to improve your logic ability and increase your working memory.... Read More >>

Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles

Slicing The Truth: On The Computable And Reverse Mathematics...
Author: Denis R Hirschfeldt (The Univ Of Chicago, Usa) , Chi Tat Chong (Nus, S'pore) ISBN: 9789814612616 Format: Hardback	$98.32
This book is a brief and focused introduction to the reverse mathematics and computability theory of combinatorial... Read More >>

Lattice Theory: Special Topics and Applications: Volume 1

Lattice Theory: Special Topics and Applications: Volume...
Author: George Grätzer , Friedrich Wehrung ISBN: 9783319064123 Format: Paperback	$227.95
George Grätzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second... Read More >>

Mind Matters

Mind Matters
Author: Ilexa Yardley ISBN: 9781502765864 Format: Paperback	$39.57
Read More >>

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Computational Logic and Set Theory: Applying Formalized...
Author: Jacob T. Schwartz , Domenico Cantone ISBN: 9781447160182 Format: Paperback	$145.17
Read More >>

Additive Number Theory: Festschrift In Honor of the Sixtieth Birthday of Melvyn B. Nathanson

Additive Number Theory: Festschrift In Honor of the...
Author: David Chudnovsky , Gregory Chudnovsky ISBN: 9781489981462 Format: Paperback	$290.37
Providing an up-to-date snapshot of the field, this volume presents a broad introduction to the current state of... Read More >>

Ω-Bibliography of Mathematical Logic: Non-Classical Logics

Ω-Bibliography of Mathematical Logic: Non-Classical...
Author: Wolfgang Lenski , Wolfgang Rautenberg ISBN: 9783662090572 Format: Paperback	$145.17
In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers,... Read More >>

Ω-Bibliography of Mathematical Logic: Classical Logic

Ω-Bibliography of Mathematical Logic: Classical Logic...
Author: Wolfgang Lenski , Wolfgang Rautenberg ISBN: 9783662222560 Format: Paperback	$145.17
In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers,... Read More >>

Concise Guide to Computation Theory

Concise Guide to Computation Theory
Author: Akira Maruoka ISBN: 9781447158165 Format: Paperback	$145.17
Read More >>

An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense

An Illustrated Book of Bad Arguments: Learn the Lost...
Author: Ali Almossawi , Alejandro Giraldo ISBN: 9781615192250 Format: Hardback	$42.11
""This short book makes you smarter than 99% of the population. . . . The concepts within it will increase your... Read More >>

Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets

Recursively Enumerable Sets and Degrees: A Study of...
Author: Robert I. Soare ISBN: 9783540666813 Format: Paperback	$316.77
...""The book, written by one of the main researchers on the field, gives a complete account of the theory of r.e.... Read More >>

An Architectonic for Science: The Structuralist Program

An Architectonic for Science: The Structuralist Program...
Author: W. Balzer , C.U. Moulines ISBN: 9789401081764 Format: Paperback	$1003.17
In particular, a portion of the text had been conceived in the language of category theory and employed ideas of... Read More >>

Fuzzy Set Theory — and Its Applications

Fuzzy Set Theory — and Its Applications
Author: Hans-Jürgen Zimmermann ISBN: 9789401579513 Format: Paperback	$263.97
This revised book updates the research agenda, with the chapters of possibility theory, fuzzy logic and approximate... Read More >>

Principles of Artificial Intelligence

Principles of Artificial Intelligence
Author: Nils J. Nilsson ISBN: 9783662094402 Format: Paperback	$211.17
Previous treatments of Artificial Intelligence (AI) divide the subject into its major areas of application, namely,... Read More >>

Aprenda PROLOG Ja!

Aprenda PROLOG Ja!
Author: Patrick Blackburn , Johan Bos ISBN: 9781848901551 Format: Paperback	$29.76
Read More >>

Page 91 of 217 ... 86 87 88 89 90 91 92 93 94 95 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now