This book includes articles on denotational semanitcs, recursion
theoretic aspects of computer science, model theory and algebra,
automath and automated reasoning, stability theory, topoi and
mathematics, and topoi and logic. It is intended for mathematical
logicians and computer scientists.
General
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!