Mathematical Logic and Theoretical Computer Science
R 12 470.00
Takealot ยท checked Today
- Average
- R 13 058.98
- Lowest seen
- R 12 470.00
- Highest seen
- R 13 105.00
- Last change
- -R 565.00
- First indexed
- 20 Sep 2026
- Retailer
- Takealot
Description
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.
