Bemærk: Kan ikke leveres før jul.
This book includes articles on denotational semanitcs, recursion theoretic aspects of computer science, model theory and algebra, automath and... Læs mere
Bemærk: Kan ikke leveres før jul.
The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians,... Læs mere