Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics) - Softcover

Book 130 of 141: Lecture Notes in Pure and Applied Mathematics

Kueker, David

 
9780824777463: Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics)
Softcover
ISBN 10: 0824777468 ISBN 13: 9780824777463
Publisher: CRC Press, 1986

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

David Kuekker is a professor of mathematics at the University of Maryland, College Park.

"About this title" may belong to another edition of this title.

Publisher
CRC Press
Publication date
1986
Language
English
ISBN 10 
0824777468
ISBN 13 
9780824777463
Binding
Paperback
Edition number
1
Number of pages
407

Other Popular Editions of the Same Title

9781138466890: Mathematical Logic and Theoretical Computer Science (Lecture Notes in Pure and Applied Mathematics)

Featured Edition

ISBN 10:  1138466891 ISBN 13:  9781138466890
Publisher: CRC Press, 2017
Hardcover