Mathematical logic books

5407 books were found.

Approximation of Functions

Approximation of Functions
Author: G. G. Lorentz ISBN: 9780821840504 Format: Hardback	$116.60
Read More >>

Tracking Reason: Proof, Consequence, and Truth

Tracking Reason: Proof, Consequence, and Truth
Author: Professor Jody Azzouni (Tufts University) ISBN: 9781280560576 Format: Electronic book text	$178.02
When ordinary people - mathematicians among them - take something to follow (deductively) from something else, they... Read More >>

A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification
Author: Pallab Dasgupta ISBN: 9781280745034 Format: Undefined	$366.96
Read More >>

Fuzzy Chaotic Systems: Modeling, Control, and Applications

Fuzzy Chaotic Systems: Modeling, Control, and Applications...
Author: Zhong Li (Peking University) ISBN: 9781280615375 Format: Undefined	$314.16
Transition between Fuzzy and Chaotic Systems provides original heuristic research achievements and insightful ideas... Read More >>

Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory

Function Algebras on Finite Sets: Basic Course on Many-Valued...
Author: Dietlinde Lau ISBN: 9781280727306 Format: Undefined	$472.56
Read More >>

Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic

Formal Models of Communicating Systems: Languages, Automata,...
Author: Benedikt Bollig ISBN: 9781280627262 Format: Undefined	$287.76
Studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe... Read More >>

Structure of Models of Peano Arithmetic, The. Oxford Logic Guides, Volume 50.

Structure of Models of Peano Arithmetic, The. Oxford...
Author: Roman Kossak (City University of New York) , James Schmerl ISBN: 9781281160294 Format: Electronic book text	$389.19
Read More >>

Chaos, Nonlinearity, Complexity: The Dynamical Paradigm of Nature. Studies in Fuzziness and Soft Computing, Volume 206.

Chaos, Nonlinearity, Complexity: The Dynamical Paradigm...
Author: A Sengupta , Ashok Sengupta ISBN: 9781280615115 Format: Undefined	$446.16
This carefully edited book presents a focused debate on the mathematics and physics of chaos, nonlinearity and complexity... Read More >>

Innovations in Fuzzy Clustering: Theory and Applications

Innovations in Fuzzy Clustering: Theory and Applications...
Author: Mika Sato-ILIC , Lakhmi C Jain (University of South Australia, Adelaide) ISBN: 9781280657207 Format: Undefined	$314.16
Read More >>

Logischer Entwurf Digitaler Systeme

Logischer Entwurf Digitaler Systeme
Author: Hans Liebig ISBN: 9781280627002 Format: Undefined	$211.17
Mit dieser Neuauflage liegt der Klassiker der Digitaltechnik nun in der vierten Auflage vor. Das Buch behandelt... Read More >>

A Logical Approach to Philosophy: Essays in Honour of Graham Solomon

A Logical Approach to Philosophy: Essays in Honour of...
Author: David Devidi , Tim Kenyon ISBN: 9781280624292 Format: Undefined	$551.76
Includes contributions from some of the philosophers working in philosophical logic, philosophy of logic, epistemology... Read More >>

Modelling and Reasoning with Vague Concepts

Modelling and Reasoning with Vague Concepts
Author: Jonathan Lawry ISBN: 9781280612299 Format: Undefined	$314.16
Outlines a formal representation framework for modelling and reasoning with vague concepts in Artificial Intelligence.... Read More >>

18 Unconventional Essays on the Nature of Mathematics

18 Unconventional Essays on the Nature of Mathematics...
Author: Professor of Mathematics Reuben Hersh (University of New Mexico (Emeritus)) ISBN: 9781280427060 Format: Electronic book text	$237.57
This book collects some of the most interesting recent writings that are tackling, from various points of view,... Read More >>

Applications of Membrane Computing

Applications of Membrane Computing
Author: Gabriel Ciobanu , Gheorghe Paun (Senior researcher, Romanian Academy Romanian Academy, Bucharest, Romania Romanian Academy, Bucharest, Romania Romanian Academy, Bucharest, Romania Romanian Academy, Bucharest, Romania) ISBN: 9781280969393 Format: Electronic book text	$440.35
Membrane computing is a branch of natural computing which investigates... Read More >>

Computational Intelligence, Theory and Applications: International Conference 9th Fuzzy Days in Dortmund, Germany, Sept. 18-20, 2006 Proceedings

Computational Intelligence, Theory and Applications:...
Author: Bernd Reusch ISBN: 9781280627408 Format: Undefined	$1185.36
Read More >>

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism
Author: Pawel Urzyczyn ISBN: 9781281051059 Format: Undefined	$522.72
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in... Read More >>

Mathematics of Uncertainty: Ideas, Methods, Application Problems

Mathematics of Uncertainty: Ideas, Methods, Application...
Author: Hans Bandemer (Tu Kergakademie Freiberg, Germany) ISBN: 9781280427718 Format: Undefined	$314.16
Read More >>

Axiom of Choice. Lecture Notes in Mathematics, Volume 1876.

Axiom of Choice. Lecture Notes in Mathematics, Volume...
Author: Horst Herrlich (Univ. of Bremen, Federal Republic of Germany) ISBN: 9781280625787 Format: Undefined	$158.27
Read More >>

Pattern Theory: From Representation to Inference

Pattern Theory: From Representation to Inference
Author: Emeritus Professor Division of Applied Mathematics Ulf Grenander (Brown University) , Michael Miller (SOUTH COLLEGE OF TENNESSEE) ISBN: 9781280753855 Format: Electronic book text	$422.43
Read More >>

Contributions to the Science of Text and Language: Word Length Studies and Related Issues

Contributions to the Science of Text and Language: Word...
Author: Peter Grzybek ISBN: 9781280459993 Format: Undefined	$184.77
Read More >>

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Logicism Renewed: Logical Foundations for Mathematics...
Author: Paul C. Gilmore ISBN: 9781568812762 Format: Paperback	$69.95
Read More >>

Logicism Renewed: Logical Foundations for Mathematics and Computer Science, Lecture Notes in Logic 23

Logicism Renewed: Logical Foundations for Mathematics...
Author: Paul C. Gilmore ISBN: 9781568812755 Format: Hardback	$120.00
Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced... Read More >>

Tracking Reason: Proof, Consequence, and Truth

Tracking Reason: Proof, Consequence, and Truth
Author: Jody Azzouni ISBN: 9786610560578 Format: Electronic book text	$195.81
Ordinary people - mathematicians among them - grasp when they take something to follow (deductively) from something... Read More >>

Mathematical Problems from Applied Logic I: Logics for the XXIst Century

Mathematical Problems from Applied Logic I: Logics for...
Author: Dov M. Gabbay , Michael Zakharyaschev ISBN: 9780387286884 Format: Hardback	$514.80
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. The book... Read More >>

Attacking Faulty Reasoning: Selected Chapters for Introduction to Critical Thinking, Riverside Community College

Attacking Faulty Reasoning: Selected Chapters for Introduction...
Author: T Edward Damer ISBN: 9780495199359 Format: Paperback	$155.63
Read More >>

Page 167 of 217 ... 162 163 164 165 166 167 168 169 170 171 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now