Mathematische Logik und theoretische Informatik, Taschenbuch von Kueker, Dav...
Mathematical Logic and Theoretical Computer Science, Paperback by Kueker, David W.; Lopez-Escobar, Edgar G. K.; Smith, Carl H. (EDT), ISBN 0824777468, ISBN-13 9780824777463, Like New Used, Free P&P in the UK 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.
Jetzt bei Ebay: