Mathematical logic books

5384 books were found.

Fuzzy-Logik: Einführung in die algebraischen und logischen Grundlagen

Fuzzy-Logik: Einführung in die algebraischen und logischen...
Author: Gert Böhme , Gert Bohme ISBN: 9783540566588 Format: Paperback	$76.43
Fuzzy-Logik wendet sich gleichermaßen an Studenten der Ingenieurwissenschaften, Informatik und Wirtschaftswissenschaften,... Read More >>

Computer Science Logic: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers

Computer Science Logic: 6th Workshop, CSL'92, San Miniato,...
Author: Egon Börger , Gerhard Jäger ISBN: 9783540569923 Format: Paperback	$218.99
The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic... Read More >>

Symbolic Model Checking

Symbolic Model Checking
Author: Kenneth McMillan ISBN: 9780792393801 Format: Hardback	$261.36
Foreword. Preface. 1. Introduction. 2. Model Checking. 3. Symbolic Model Checking. 4. The SMV System. 5. A Distributed... Read More >>

Resolution Methods for the Decision Problem

Resolution Methods for the Decision Problem
Author: C. Fermüller , A. Leitsch ISBN: 9783540567325 Format: Paperback	$158.27
Read More >>

Recursion Theory for Metamathematics

Recursion Theory for Metamathematics
Author: Raymond M. Smullyan (Professor of Philosophy, Professor of Philosophy, Indiana University) ISBN: 9780195082326 Format: Hardback	$472.00
Read More >>

Word Equations and Related Topics: Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings

Word Equations and Related Topics: Second International...
Author: Habib Abdulrab , Jean-Pierre Pecuchet ISBN: 9783540567301 Format: Paperback	$158.27
Presents papers from the second International Workshop on Word Equations and Related Topics (IWWERT '91). The papers... Read More >>

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 1: Logic Foundations

Handbook of Logic in Artificial Intelligence and Logic...
Author: Dov M. Gabbay (Professor of Computing, Professor of Computing, Imperial College of Science, Technology and Medicine) , C. J. Hogger (Department of Computing, Department of Computing, Imperial College of Science, Technology and Medicine) ISBN: 9780198537458 Format: Hardback	$604.95
An in-depth survey of the applications of logic in artificial intelligence and computer science. This first volume... Read More >>

Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings

Application and Theory of Petri Nets 1993: 14th International...
Author: Marco Ajmone Marsan ISBN: 9783540568636 Format: Paperback	$253.44
Read More >>

Cellular Automata and Cooperative Systems

Cellular Automata and Cooperative Systems
Author: N. Boccara , E. Goles ISBN: 9780792322726 Format: Hardback	$974.16
Contains the lectures given at the NATO Advanced Study Institute on ""Cellular Automata and Cooperative Systems"",... Read More >>

Arithmetic, Proof Theory, and Computational Complexity

Arithmetic, Proof Theory, and Computational Complexity...
Author: Peter Clote (Professor, Department of Computer Science, Professor, Department of Computer Science, Boston College, Chestnut Hill, USA) , Jan Krajícek (Mathematical Institute, Mathematical Institute, Ceskoslovenská Akademie Ved Praha 1, Czechoslovakia) ISBN: 9780198536901 Format: Hardback	$269.95
A consideration of Logical Complexity Theory, the study of bounded arithmetic, propositional proof systems, length... Read More >>

Algorithms: Main Ideas and Applications

Algorithms: Main Ideas and Applications
Author: Vladimir Uspensky , A.L. Semenov ISBN: 9780792322108 Format: Hardback	$604.56
Today the notion of the algorithm is familiar not only to mathematicians. this article is called ""Mathematical... Read More >>

Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings

Typed Lambda Calculi and Applications: International...
Author: Marc Bezem , Jan F. Groote ISBN: 9783540565178 Format: Paperback	$218.99
In the 1960s it wasdiscovered that the types of typed lambda calculi are infact appearances of logical... Read More >>

Intelligent Control: Aspects Of Fuzzy Logic And Neural Nets

Intelligent Control: Aspects Of Fuzzy Logic And Neural...
Author: Christopher J Harris (Univ Of Southampton, Uk) , C G Moore (Univ Of Southampton, Uk) ISBN: 9789810210427 Format: Hardback	$182.16
Read More >>

Fuzzy Sets and Interactive Multiobjective Optimization

Fuzzy Sets and Interactive Multiobjective Optimization...
Author: Masatoshi Sakawa ISBN: 9780306443374 Format: Hardback	$472.56
Read More >>

Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings

Nonmonotonic and Inductive Logic: Second International...
Author: Gerhard Brewka , Klaus P. Jantke ISBN: 9783540564331 Format: Paperback	$184.67
This proceedings volume contains a selection of revised andextended papers presented at the Second InternationalWorkshop... Read More >>

Theory Of Latticed Plates And Shells, A

Theory Of Latticed Plates And Shells, A
Author: G I Pshenichnov (.) ISBN: 9789810210496 Format: Hardback	$221.76
Presents a theory of latticed shells constructed on the basis of a continual model and describes its applications.... Read More >>

Nonlinear Evolution Equations: Kinetic Approach

Nonlinear Evolution Equations: Kinetic Approach
Author: Niva B Maslova (.) ISBN: 9789810211622 Format: Hardback	$316.80
Read More >>

Fuzzy Measure Theory

Fuzzy Measure Theory
Author: Zhenyuan Wang , George J. Klir ISBN: 9780306442605 Format: Hardback	$419.76
Read More >>

The Alternative Mathematical Model of Linguistic Semantics and Pragmatics

The Alternative Mathematical Model of Linguistic Semantics...
Author: Vilém Novák ISBN: 9780306442698 Format: Hardback	$425.04
Read More >>

Boolean Constructions in Universal Algebras

Boolean Constructions in Universal Algebras
Author: A.G. Pinus ISBN: 9780792321170 Format: Hardback	$366.96
Also considered are the problems of presenting different varieties of universal algebra with these constructions,... Read More >>

Metamathematics of First-Order Arithmetic

Metamathematics of First-Order Arithmetic
Author: Petr Hajek , Pavel Pudlak ISBN: 9783540506324 Format: Hardback	$358.91
This work covers some of the most important results in the study of a first order theory of the natural numbers,... Read More >>

Godel's Theorems - Proceedings Of The First International Symposium

Godel's Theorems - Proceedings Of The First International...
Author: Z W Wolkowski (Univ Pierre Et Marie Curie, France) ISBN: 9789810213060 Format: Hardback	$234.96
Presents research results on: philosophy and epistemology; history and philosophy of science; mathematics; logic... Read More >>

Multiple-Valued Logic Design: an Introduction

Multiple-Valued Logic Design: an Introduction
Author: G Epstein (University of North Carolina at Charlotte, USA) ISBN: 9780750302104 Format: Hardback	$777.00
Read More >>

Linear Representations of Partially Ordered Sets and Vector Space Categories

Linear Representations of Partially Ordered Sets and...
Author: Daniel Simson ISBN: 9782881248283 Format: Hardback	$364.32
An elementary yet comprehensive introduction to representations of partially ordered sets and bimodule matrix problems... Read More >>

Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures

Handbook of Logic in Computer Science: Volume 1. Background:...
Author: Samson Abramsky , D. M. Gabbary ISBN: 9780198537359 Format: Hardback	$604.95
A multi-volume work covering all major areas of application of logic to theoretical computer science. The authors... Read More >>

Page 200 of 216 ... 195 196 197 198 199 200 201 202 203 204 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now