We a good story
Quick delivery in the UK

Mathematical Logic and Theoretical Computer Science

About Mathematical Logic and Theoretical Computer Science

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9780824777463
  • Binding:
  • Paperback
  • Pages:
  • 408
  • Published:
  • December 22, 1986
  • Dimensions:
  • 178x254x21 mm.
  • Weight:
  • 726 g.
Delivery: 1-2 weeks
Expected delivery: October 17, 2024

Description of Mathematical Logic and Theoretical Computer Science

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.

User ratings of Mathematical Logic and Theoretical Computer Science



Find similar books
The book Mathematical Logic and Theoretical Computer Science can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.