Mathematical logic books

5407 books were found.

Soft Computing: Integrating Evolutionary, Neural, and Fuzzy Systems

Soft Computing: Integrating Evolutionary, Neural, and...
Author: Andrea Tettamanzi , J. Janßen ISBN: 9783540422044 Format: Hardback	$237.47
This work presents a balanced integration of fuzzy logic, evolutionary computing, and neural information processing.... Read More >>

The Classical Decision Problem

The Classical Decision Problem
Author: Egon Börger , Erich Grädel ISBN: 9783540423249 Format: Paperback	$314.16
This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role... Read More >>

Kurt Gödel: Collected Works: Volume II: Publications 1938-1974

Kurt Gödel: Collected Works: Volume II: Publications...
Author: Kurt Gödel , Solomon Feferman (Professor of Math and Philosophy, Professor of Math and Philosophy, Stanford University) ISBN: 9780195147216 Format: Paperback	$257.00
This second volume of a comprehensive edition of logician Godel's works collects together all his publications from... Read More >>

Essays on Non-Classical Logic: Advances in Logic, Volume 1

Essays on Non-Classical Logic: Advances in Logic, Volume...
Author: Heinrich Wansing ISBN: 9786611948061 Format: Electronic book text	$422.40
This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical... Read More >>

Lattice Functions and Equations

Lattice Functions and Equations
Author: Sergiu Rudeanu ISBN: 9781852332662 Format: Paperback	$551.76
Read More >>

Kurt Gödel: Collected Works: Volume I: Publications 1929-1936

Kurt Gödel: Collected Works: Volume I: Publications...
Author: Kurt Gödel , S. Feferman (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) ISBN: 9780195147209 Format: Paperback	$77.95
The initial volume of Godel's works, this book makes available in a single source all his publications from 1929... Read More >>

Cellular Automata: A Discrete Universe

Cellular Automata: A Discrete Universe
Author: Andrew Ilachinski (Ctr For Naval Analyses, Usa) ISBN: 9789810246235 Format: Hardback	$287.76
Read More >>

Algebraic Methods in Philosophical Logic

Algebraic Methods in Philosophical Logic
Author: J. Michael Dunn , Gary Hardegree ISBN: 9780198531920 Format: Hardback	$247.00
Read More >>

Cellular Automata: A Discrete Universe

Cellular Automata: A Discrete Universe
Author: Andrew Ilachinski (Ctr For Naval Analyses, Usa) ISBN: 9789812381835 Format: Paperback	$261.36
Provides a summary of the basic properties of cellular automata, and explores cellular-automata-related research... Read More >>

Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)

Combinatorics, Computability and Logic: Proceedings...
Author: C.S. Calude , M.J. Dinneen ISBN: 9781852335267 Format: Paperback	$290.37
Read More >>

Computing in Nonlinear Media and Automata Collectives

Computing in Nonlinear Media and Automata Collectives...
Author: Andrew Adamatzky ISBN: 9780750307512 Format: Hardback	$452.00
Computing in Nonlinear Media and Automata Collectives presents an account of new ways to design massively parallel... Read More >>

Equations with Involutive Operators

Equations with Involutive Operators
Author: Nikolai Karapetiants , Stefan Samko ISBN: 9780817641573 Format: Hardback	$340.56
"""Equations with Involutive Operators"" demonstrates an important interplay between abstract and concrete operator... Read More >>

Spherical Inversion on SLn(R)

Spherical Inversion on SLn(R)
Author: Jay Jorgenson , Serge Lang ISBN: 9780387951157 Format: Hardback	$314.16
Read More >>

Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings

Applications and Theory of Petri Nets 2001: 22nd International...
Author: Jose-Manuel Colom , Maciej Koutny ISBN: 9783540422525 Format: Paperback	$197.87
This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets.... Read More >>

Automata Theory and its Applications

Automata Theory and its Applications
Author: Bakhadyr Khoussainov , Anil Nerode ISBN: 9780817642075 Format: Hardback	$261.36
The theory of finite automata on finite stings, infinite strings, and trees has had a dis tinguished history. In... Read More >>

Selected Papers on Discrete Mathematics

Selected Papers on Discrete Mathematics
Author: Donald E. Knuth (Stanford University, California) ISBN: 9781575862484 Format: Paperback	$65.95
Read More >>

Constant Mean Curvature Surfaces, Harmonic Maps and Integrable Systems

Constant Mean Curvature Surfaces, Harmonic Maps and...
Author: Frederic Hélein , R. Moser ISBN: 9783764365769 Format: Paperback	$131.87
This title provides and introduction to harmonic maps between a surface and a symmetric manifold and constant mean... Read More >>

Stable Groups

Stable Groups
Author: Bruno Poizat ISBN: 9780821826850 Format: Hardback	$90.20
Read More >>

Selected Papers on Discrete Mathematics

Selected Papers on Discrete Mathematics
Author: Donald E. Knuth (Stanford University, California) ISBN: 9781575862491 Format: Hardback	$211.20
Donald Knuth's influence in computer science ranges from the invention of literate programming to the development... Read More >>

Categorical Logic and Type Theory

Categorical Logic and Type Theory
Author: B. Jacobs (Computing Science Institute, University of Nijmegen, The Netherlands) ISBN: 9780444508539 Format: Paperback	$306.24
Read More >>

Mathematics Mechanization: Mechanical Geometry Theorem-Proving, Mechanical Geometry Problem-Solving and Polynomial Equations-Solving

Mathematics Mechanization: Mechanical Geometry Theorem-Proving,...
Author: Wu Wen-tsun ISBN: 9780792358350 Format: Hardback	$472.56
This book is a collection of essays centred around the subject of mathematical mechanization. Audience: This... Read More >>

Protoalgebraic Logics

Protoalgebraic Logics
Author: Janusz Czelakowski ISBN: 9780792369400 Format: Hardback	$578.16
The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation.... Read More >>

Mathematical Logic for Computer Science

Mathematical Logic for Computer Science
Author: M. Ben-Ari ISBN: 9781852333195 Format: Paperback	$145.07
Read More >>

DNA Computing: 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers

DNA Computing: 6th International Workshop on DNA-Based...
Author: Anne Condon , Grzegorz Rozenberg ISBN: 9783540420767 Format: Paperback	$158.27
The papers in this volume were presented at the 6th International Meeting on DNA Based Computers, organized by the... Read More >>

Typed Lambda Calculi and Applications: 5th International Conference, TLCA 2001 Krakow, Poland, May 2-5, 2001 Proceedings

Typed Lambda Calculi and Applications: 5th International...
Author: Samson Abramsky ISBN: 9783540419600 Format: Paperback	$197.87
This book constitutes the refereed proceedings of the 5th International Conference on Typed Lambda Calculi and Applications,... Read More >>

Page 182 of 217 ... 177 178 179 180 181 182 183 184 185 186 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now