Mathematical Logic and Theoretical Computer Science covers various
topics ranging from recursion theory to Zariski topoi. Leading
international authorities discuss selected topics in a number of
areas, including denotational semanitcs, reccuriosn theoretic
aspects fo computer science, model theory and algebra, Automath and
automated reasoning, stability theory, topoi and mathematics, and
topoi and logic. The most up-to-date review available in its field,
Mathematical Logic and Theoretical Computer Science will be of
interest to mathematical logicians, computer scientists,
algebraists, algebraic geometers, differential geometers,
differential topologists, and graduate students in mathematics and
computer science.
General
Imprint: |
Crc Press
|
Country of origin: |
United Kingdom |
Series: |
Lecture Notes in Pure and Applied Mathematics |
Release date: |
November 2017 |
First published: |
1986 |
Authors: |
David Kueker
|
Dimensions: |
254 x 178 x 33mm (L x W x T) |
Format: |
Hardcover
|
Pages: |
408 |
ISBN-13: |
978-1-138-46689-0 |
Categories: |
Books >
Science & Mathematics >
Mathematics >
General
|
LSN: |
1-138-46689-1 |
Barcode: |
9781138466890 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!