David W. Kueker – författare
Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Häftad, Engelska, 1986
4 191 kr
Skickas inom 10-15 vardagar
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.