Mathematical Logic and Theoretical Computer Science - Couverture souple

Kueker, David

 
9780824777463: Mathematical Logic and Theoretical Computer Science

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l?auteur

David Kuekker is a professor of mathematics at the University of Maryland, College Park.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9781138466890: Mathematical Logic and Theoretical Computer Science

Edition présentée

ISBN 10 :  1138466891 ISBN 13 :  9781138466890
Editeur : CRC Press, 2017
Couverture rigide