Mathematical logic books

5384 books were found.

Attributierte Grammatiken und Attributierungsalgorithmen

Attributierte Grammatiken und Attributierungsalgorithmen...
Author: Ulrich Mahn ISBN: 9783540186502 Format: Paperback	$100.32
Diese Monographie gibt einen systematischen Überblick über Attributierte Grammatiken als ein Mittel zur Darstellung... Read More >>

Fundamentals of Computation Theory: International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings

Fundamentals of Computation Theory: International Conference...
Author: Lothar Budach , Rais G. Bukharajev ISBN: 9783540187400 Format: Paperback	$211.07
This volume contains abridged versions of most of the sectional talks and some invited lectures given at the International... Read More >>

Serial-Data Computation

Serial-Data Computation
Author: Stewart G. Smith , Peter B. Denyer ISBN: 9780898382532 Format: Hardback	$572.88
Read More >>

Systems of Reductions

Systems of Reductions
Author: Benjamin Benninghofen , Susanne Kemmerich ISBN: 9783540185987 Format: Paperback	$184.67
Read More >>

Model Theory and Modules

Model Theory and Modules
Author: Professor M Prest ISBN: 9781299404137 Format: Undefined	$330.00
Read More >>

Category Theory and Computer Science: Edinburgh, UK, September 7-9, 1987. Proceedings

Category Theory and Computer Science: Edinburgh, UK,...
Author: David H. Pitt , Axel Poigne ISBN: 9783540185086 Format: Paperback	$105.47
Read More >>

Trends, Techniques, and Problems in Theoretical Computer Science: 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986

Trends, Techniques, and Problems in Theoretical Computer...
Author: Alica Kelemenova , Jozef Kelemen ISBN: 9783540185352 Format: Paperback	$139.79
Read More >>

Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings

Mathematical Models for the Semantics of Parallelism:...
Author: Marisa Venturini Zilli ISBN: 9783540184195 Format: Paperback	$131.87
Read More >>

3. Österreichische Artificial-Intelligence-Tagung: Wien, 22–25. September 1987

3. Österreichische Artificial-Intelligence-Tagung: Wien,...
Author: Ernst Buchberger , Johannes Retti ISBN: 9783540183846 Format: Paperback	$81.84
Die dritte Osterreichische Artificial-Intelligence-Tagung fand vom 22.-25. September 1987 an der Technischen Universitiit... Read More >>

Introduction to Mathematical Logic

Introduction to Mathematical Logic
Author: Elliott Mendelson ISBN: 9780534066246 Format: Hardback	$266.64
This classic in the field is a compact introduction to some of the basic topics of mathematical logic. This edition... Read More >>

Omega-Bibliography of Mathematical Logic

Omega-Bibliography of Mathematical Logic
Author: Gert G. Muller ISBN: 9783540174578 Format: Hardback	$3841.20
Read More >>

Omega-Bibliography of Mathematical Logic: Classical Logic

Omega-Bibliography of Mathematical Logic: Classical...
Author: Wolfgang Rautenberg , Gert H. Muller ISBN: 9783540173212 Format: Hardback	$726.00
Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of (mathematical)... Read More >>

Petri Nets: Central Models and Their Properties: Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

Petri Nets: Central Models and Their Properties: Advances...
Author: Wilfried Brauer , Wolfgang Reisig ISBN: 9783540179054 Format: Paperback	$118.80
Petri Nets represent a long and sustained effort· to develop concepts, theories and tools to aid in design and analysis... Read More >>

Omega-Bibliography of Mathematical Logic: Model Theory

Omega-Bibliography of Mathematical Logic: Model Theory...
Author: Heinz-Dieter Ebbinghaus , Wolfgang Lenski ISBN: 9783540155225 Format: Hardback	$792.00
Read More >>

Omega-Bibliography of Mathematical Logic: Recursion Theory

Omega-Bibliography of Mathematical Logic: Recursion...
Author: Gert H. Muller , Peter G. Hinman ISBN: 9783540155232 Format: Hardback	$918.72
Read More >>

Classic Papers in Combinatorics

Classic Papers in Combinatorics
Author: Ira Gessel , Gian-Carlo Rota ISBN: 9780817633646 Format: Hardback	$258.72
Read More >>

Theory of Recursive Functions and Effective Computability

Theory of Recursive Functions and Effective Computability...
Author: Hartley Rogers ISBN: 9780262680523 Format: Paperback	$129.36
Read More >>

Sitzungsber.Osterr.Akademie Abt 2 Bd 195 8-10

Sitzungsber.Osterr.Akademie Abt 2 Bd 195 8-10
Author: ISBN: 9783211865323 Format: Paperback	$208.43
Read More >>

Nonstandard Asymptotic Analysis

Nonstandard Asymptotic Analysis
Author: Imme van den Berg ISBN: 9783540177678 Format: Paperback	$105.47
Read More >>

Introduction to Mathematical Logic: Set Theory Computable Functions Model Theory

Introduction to Mathematical Logic: Set Theory Computable...
Author: Jerome Malitz ISBN: 9780387903460 Format: Hardback	$131.87
There are virtually no prere quisites, although a familiarity with notions encountered in a beginning course in... Read More >>

Recursively Enumerable Sets and Degrees: A Study of Computable Functions and Computably Generated Sets

Recursively Enumerable Sets and Degrees: A Study of...
Author: Robert I. Soare ISBN: 9783540152996 Format: Hardback	$366.96
Presents an account of the theory of recursively enumerable degrees. This book is suitable for those interested... Read More >>

Tapsoft '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987

Tapsoft '87. Proceedings of the International Joint...
Author: Hartmut Ehrig , Robert A. Kowalski ISBN: 9783540176114 Format: Paperback	$105.47
Read More >>

Injective Choice Functions

Injective Choice Functions
Author: Michael Holz , Klaus-Peter Podewski ISBN: 9783540172215 Format: Paperback	$68.64
Read More >>

Mathematical Logic and Theoretical Computer Science

Mathematical Logic and Theoretical Computer Science...
Author: David Kueker , Edgar G. K. Lopez-Escobar ISBN: 9780824777463 Format: Paperback	$567.00
This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory... Read More >>

Cantorian Set Theory and Limitation of Size

Cantorian Set Theory and Limitation of Size
Author: Michael Hallett ISBN: 9780198532835 Format: Paperback	$236.95
This volume presents the philosophical and heuristic framework Cantor developed and explores its lasting effect... Read More >>

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

Latest Reading Guide

Shopping Cart

Your cart is empty

Mailing List

Sign up now