Mathematical logic books

5384 books were found.

Zur Logik der Logik-Programmierung: Ein konstruktiver Ansatz

Zur Logik der Logik-Programmierung: Ein konstruktiver...
Author: Clemens Beckstein ISBN: 9783540507208 Format: Paperback	$100.32
Thema der Arbeit ist das zentrale Problem logischer Programmiersprachen: ein optimales Gleichgewicht zwischen sprachlicher... Read More >>

Interaktives Entwerfen großer Programmsysteme: Konzepte und Werkzeuge

Interaktives Entwerfen großer Programmsysteme: Konzepte...
Author: Claus Lewerentz ISBN: 9783540505532 Format: Paperback	$81.84
Im Rahmen des Forschungsprojektes IPSEN (Incremental Programming Support Environment) wurden Konzepte zum Bau hochgradig... Read More >>

Confluent String Rewriting

Confluent String Rewriting
Author: Matthias Jantzen ISBN: 9783540137153 Format: Hardback	$261.36
Replacement systems, such as term rewriting systems, tree manipulat ing systems, and graph grammars, have been... Read More >>

Computability, Complexity, Logic

Computability, Complexity, Logic
Author: Professor of Computer Science Department of Information Egon Borger (University of Pisa) ISBN: 9781281790637 Format: Electronic book text	$231.11
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise... Read More >>

Rational Series and Their Languages

Rational Series and Their Languages
Author: Jean Berstel , Christophe Reutenauer ISBN: 9783540186267 Format: Hardback	$158.27
This book is a systematic exposition of the theory of ratio- nal formal power series and the associated formal languages.... Read More >>

Logic with PROLOG

Logic with PROLOG
Author: Peter Gibbins ISBN: 9780198596592 Format: Paperback	$59.95
An introduction to the essential ideas of formal logic and to the new field of logic programming, which is beginning... Read More >>

Confluent String Rewriting

Confluent String Rewriting
Author: M Jantzen , Matthias Jantzen ISBN: 9780387137155 Format: Undefined	$179.39
This monograph treats comprehensively central aspects of string rewriting systems in the form of semi-Thue systems.... Read More >>

Reflexive Structures: An Introduction to Computability Theory

Reflexive Structures: An Introduction to Computability...
Author: Luis E. Sanchis , L E Sanchis ISBN: 9780387967288 Format: Hardback	$155.76
Reflexive Structures: An Introduction to Computability Theory is concerned with the foundations of the theory of... Read More >>

Computing in Horn Clause Theories

Computing in Horn Clause Theories
Author: Peter Padawitz ISBN: 9783540194279 Format: Hardback	$211.07
At least four research fields detennine the theoretical background of specification and deduction in computer science:... Read More >>

Algebra for Computer Science

Algebra for Computer Science
Author: Lars Garding , Torbjörn Tambour ISBN: 9780387967806 Format: Paperback	$145.17
The aim of this book is to teach the reader the topics in algebra which are useful in the study of computer science.... Read More >>

A Manual of Intensional Logic

A Manual of Intensional Logic
Author: Johan F. A. K. van Benthem ISBN: 9780937073292 Format: Paperback	$41.95
Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge,... Read More >>

A Manual of Intensional Logic

A Manual of Intensional Logic
Author: Johan F. A. K. van Benthem ISBN: 9780937073308 Format: Hardback	$65.95
Intensional logic is the technical study of such intensional phenomena in human reasoning as modality, knowledge,... Read More >>

Cabal Seminar 81-85: Proceedings, Caltech-UCLA Logic Seminar, 1981-85

Cabal Seminar 81-85: Proceedings, Caltech-UCLA Logic...
Author: Alexander Kechris , D. A. Martin ISBN: 9783540500209 Format: Paperback	$121.44
This is the fourth volume of the proceeding of the Caltech-UCLA Logic Seminar, based mainly on material which was... Read More >>

Parsing Theory: Volume I Languages and Parsing

Parsing Theory: Volume I Languages and Parsing
Author: Seppo Sippu , Eljas Soisalon-Soininen ISBN: 9783540137207 Format: Hardback	$261.36
The theory of parsing is an important application area of the theory of formal languages and automata. Context-free... Read More >>

Existentially Closed Groups

Existentially Closed Groups
Author: Graham Higman (Mathematical Institute, Mathematical Institute, University of Oxford) , Elizabeth Scott (Department of Mathematics, Department of Mathematics, The Australian National University, Canberra) ISBN: 9780198535430 Format: Hardback	$167.95
Read More >>

Conditional Term Rewriting Systems: 1st International Workshop Orsay, France, July 8-10, 1987. Proceedings

Conditional Term Rewriting Systems: 1st International...
Author: Stephane Kaplan , Jean-Pierre Jouannaud ISBN: 9783540192428 Format: Paperback	$145.07
Read More >>

Automata Networks: LITP Spring School on Theoretical Computer Science, Argeles-Village, France, May 12-16, 1986. Proceedings

Automata Networks: LITP Spring School on Theoretical...
Author: C. Choffrut ISBN: 9783540194446 Format: Paperback	$152.99
Read More >>

Parsing Theory I

Parsing Theory I
Author: S Sippu , E Soisalon-Soinnen ISBN: 9780387137209 Format: Hardback	$261.36
Read More >>

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

9th International Conference on Automated Deduction:...
Author: Ewing Lusk , Ross Overbeek ISBN: 9783540193432 Format: Paperback	$274.56
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9)... Read More >>

Mathematical Logic and its Applications

Mathematical Logic and its Applications
Author: Dimiter G. Skordev , Dimiter G. Skordev ISBN: 9780306425998 Format: Hardback	$469.92
The Summer School and Conference on Mathematical Logic and its Applications, September 24 - October 4, 1986, Druzhba,... Read More >>

Classification Theory: Proceedings of the U.S.-Israel Workshop on Model Theory in Mathematical Logic Held in Chicago, Dec. 15-19, 1985

Classification Theory: Proceedings of the U.S.-Israel...
Author: John T. Baldwin ISBN: 9783540186748 Format: Paperback	$155.76
Read More >>

Omega-Bibliography of Mathematical Logic: Proof Theory, Constructive Mathematics

Omega-Bibliography of Mathematical Logic: Proof Theory,...
Author: Jane E. Kister , Dirk van Dalen ISBN: 9783540155249 Format: Hardback	$720.72
Read More >>

Omega-Bibliography of Mathematical Logic: Set Theory

Omega-Bibliography of Mathematical Logic: Set Theory...
Author: Andreas R. Blass , Gert H. Muller ISBN: 9783540155256 Format: Hardback	$937.20
Read More >>

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics

Logic and Combinatorics: Joint Summer Research Conference...
Author: Stephen G. Simpson ISBN: 9780821850527 Format: Paperback	$220.00
Read More >>

Six Papers in Logic

Six Papers in Logic
Author: S.N. Artemov , M.I. Bekenov ISBN: 9780821831113 Format: Hardback	$168.30
Contains six papers in logic translated from the Russian. Read More >>

Page 205 of 216 ... 200 201 202 203 204 205 206 207 208 209 ...

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now