Mathematical Logic and Theoretical Computer Science

1st Edition


CRC Press
Published December 22, 1986
Reference - 408 Pages
ISBN 9780824777463 - CAT# DK3826
Series: Lecture Notes in Pure and Applied Mathematics

For Instructors Request Inspection Copy

was $315.00


SAVE ~$63.00

Add to Wish List
FREE Standard Shipping!


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.


We provide complimentary e-inspection copies of primary textbooks to instructors considering our books for course adoption.

Request an
e-inspection copy

Share this Title