Mathematical Logic and Theoretical Computer Science
by
David Kueker
Book Details
Format
Paperback / Softback
Book Series
Lecture Notes in Pure and Applied Mathematics
ISBN-10
0824777468
ISBN-13
9780824777463
Publisher
Taylor & Francis Inc
Imprint
CRC Press Inc
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Dec 22nd, 1986
Print length
408 Pages
Weight
726 grams
Product Classification:
Mathematical logic
Ksh 51,300.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
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.
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.
Get Mathematical Logic and Theoretical Computer Science by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Taylor & Francis Inc and it has pages.