Mathematical logic books

5407 books were found.

Advances in Natural Deduction: A Celebration of Dag Prawitz's Work

Advances in Natural Deduction: A Celebration of Dag...
Author: Luiz Carlos Pereira , Edward Haeusler ISBN: 9789402406870 Format: Paperback	$369.57
Read More >>

Cellular Automata: 12th International Conference on Cellular Automata for Research and Industry, ACRI 2016, Fez, Morocco, September 5-8, 2016. Proceedings

Cellular Automata: 12th International Conference on...
Author: Samira El Yacoubi , Jarosław Wąs ISBN: 9783319443645 Format: Paperback	$116.41
Read More >>

Explaining Beauty in Mathematics: An Aesthetic Theory of Mathematics

Explaining Beauty in Mathematics: An Aesthetic Theory...
Author: Ulianov Montano ISBN: 9783319353814 Format: Paperback	$145.17
Read More >>

Axiomatic Method and Category Theory

Axiomatic Method and Category Theory
Author: Andrei Rodin ISBN: 9783319375519 Format: Paperback	$369.57
Read More >>

Perspectives in Computational Complexity: The Somenath Biswas Anniversary Volume

Perspectives in Computational Complexity: The Somenath...
Author: Manindra Agrawal , Vikraman Arvind ISBN: 9783319350585 Format: Paperback	$192.95
This book brings together contributions by leading researchers in computational complexity theory written in honor... Read More >>

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life

L.E.J. Brouwer – Topologist, Intuitionist, Philosopher:...
Author: Dirk van Dalen ISBN: 9781447169901 Format: Paperback	$171.57
Read More >>

Mathematics, Computer Science and Logic - A Never Ending Story: The Bruno Buchberger Festschrift

Mathematics, Computer Science and Logic - A Never Ending...
Author: Peter Paule ISBN: 9783319346823 Format: Paperback	$145.17
Read More >>

The Mathematics of Coordinated Inference: A Study of Generalized Hat Problems

The Mathematics of Coordinated Inference: A Study of...
Author: Christopher S. Hardin , Alan D. Taylor ISBN: 9783319376059 Format: Paperback	$145.17
Read More >>

Reactive Kripke Semantics

Reactive Kripke Semantics
Author: Dov M. Gabbay ISBN: 9783662514368 Format: Paperback	$290.37
Read More >>

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction

Logical Foundations of Mathematics and Computational...
Author: Pavel Pudlák ISBN: 9783319342689 Format: Paperback	$527.97
Read More >>

Leśniewski's Systems of Logic and Foundations of Mathematics

Leśniewski's Systems of Logic and Foundations of Mathematics...
Author: Rafal Urbaniak ISBN: 9783319344164 Format: Paperback	$145.17
Read More >>

Algorithmic Randomness and Complexity

Algorithmic Randomness and Complexity
Author: Rodney G. Downey , Denis R. Hirschfeldt ISBN: 9781493938209 Format: Paperback	$290.37
The theory of algorithmic randomness uses tools from computability theory and algorithmic information theory to... Read More >>

The Art of Proof: Basic Training for Deeper Mathematics

The Art of Proof: Basic Training for Deeper Mathematics...
Author: Matthias Beck , Ross Geoghegan ISBN: 9781493940868 Format: Paperback	$105.47
The topics covered include: integers, induction, algorithms, real numbers, rational numbers, modular arithmetic,... Read More >>

Introduction to Mathematical Structures and Proofs

Introduction to Mathematical Structures and Proofs
Author: Larry J. Gerstein ISBN: 9781493951468 Format: Paperback	$145.17
As a student moves from basic calculus courses into upper-division courses in linear and abstract algebra, real... Read More >>

Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics
Author: Thomas Piecha , Peter Schroeder-Heister ISBN: 9783319367811 Format: Paperback	$184.77
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address... Read More >>

Petri Net Synthesis

Petri Net Synthesis
Author: Eric Badouel , Luca Bernardinello ISBN: 9783662516218 Format: Paperback	$211.17
This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its... Read More >>

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium

Structural Analysis of Non-Classical Logics: The Proceedings...
Author: Syraya Chin-Mu Yang , Duen-Min Deng ISBN: 9783662517123 Format: Paperback	$290.37
This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address... Read More >>

From Boolean Logic to Switching Circuits and Automata: Towards Modern Information Technology

From Boolean Logic to Switching Circuits and Automata:...
Author: Radomir S. Stankovic , Jaakko Astola ISBN: 9783662519042 Format: Paperback	$527.97
The change of the design of logic networks from skills and art into a scientific discipline was possible by the... Read More >>

Pattern Recognition and Signal Analysis in Medical Imaging

Pattern Recognition and Signal Analysis in Medical Imaging...
Author: Anke Meyer-Baese (Department of Scientific Computing, Florida State University, USA) , Volker J. Schmid (Department of Statistics, Ludwig-Maximilians-University, Munich, Germany) ISBN: 9780128101162 Format: Paperback	$369.60
Medical Imaging has become one of the most important visualization and interpretation methods in biology and medecine... Read More >>

Electrical Load Forecasting: Modeling and Model Construction

Electrical Load Forecasting: Modeling and Model Construction...
Author: S.A. Soliman (Associate Dean and Chairman of Electrical Engineering Department, Misr University for Science and Technology (MUST), Egypt) , Ahmad Mohammad Al-Kandari ISBN: 9780128102213 Format: Paperback	$422.40
Read More >>

Gottlob Frege: Basic Laws of Arithmetic

Gottlob Frege: Basic Laws of Arithmetic
Author: Philip A. Ebert (, University of Stirling) , Philip A. Ebert (University of Stirling) ISBN: 9780198777304 Format: Paperback	$111.95
This is the first complete English translation of Gottlob Frege's Grundgesetze der Arithmetik (1893 and 1903), with... Read More >>

Croyances et significations: Jeux de questions et reponses avec hypotheses

Croyances et significations: Jeux de questions et reponses...
Author: Adjoua Bernadette Dango ISBN: 9781848902206 Format: Paperback	$52.80
Read More >>

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Special Topics in Mathematics for Computer Scientists:...
Author: Ernst-Erich Doberkat ISBN: 9783319368696 Format: Paperback	$184.77
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the... Read More >>

Handbook of Set Theory

Handbook of Set Theory
Author: Matthew Foreman , Akihiro Kanamori ISBN: 9789402404661 Format: Paperback	$2375.97
Discovery of new types of mathematical objects, such as imaginary numbers and, much later, formal objects such as... Read More >>

Handbook of Spatial Logics

Handbook of Spatial Logics
Author: Marco Aiello , Ian Pratt-Hartmann ISBN: 9789402404708 Format: Paperback	$871.17
A spatial logic is a formal language interpreted over any class of structures featuring geometrical entities and... Read More >>

Page 76 of 217 ... 71 72 73 74 75 76 77 78 79 80 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now