Mathematical Logic and Theoretical Computer Science poster

Details

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.

Author Kueker

Pages 408

Publisher CRC Press

Published Date 1986-12-22

ISBN 0824777468 9780824777463

Scroll to top