Mathematical Logic and Theoretical Computer Science - Couverture rigide

Livre 130 sur 140: Lecture Notes in Pure and Applied Mathematics

Kueker, David

 
9781138466890: Mathematical Logic and Theoretical Computer Science
Couverture rigide
ISBN 10 : 1138466891 ISBN 13 : 9781138466890
Editeur : CRC Press, 2017

Synopsis

Mathematical Logic and Theoretical Computer Science covers various topics ranging from recursion theory to Zariski topoi. Leading international authorities discuss selected topics in a number of areas, including denotational semanitcs, reccuriosn theoretic aspects fo computer science, model theory and algebra, Automath and automated reasoning, stability theory, topoi and mathematics, and topoi and logic.

The most up-to-date review available in its field, Mathematical Logic and Theoretical Computer Science will be of interest to mathematical logicians, computer scientists, algebraists, algebraic geometers, differential geometers, differential topologists, and graduate students in mathematics and computer science.

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.

Éditeur
CRC Press
Date d'édition
2017
Langue
anglais
ISBN 10 
1138466891
ISBN 13 
9781138466890
Reliure
Relié
Nombre de pages
408
Coordonnées du fabricant
non disponible
Personne responsable
non disponible

Autres éditions populaires du même titre

9780824777463: Mathematical Logic and Theoretical Computer Science

Edition présentée

ISBN 10 :  0824777468 ISBN 13 :  9780824777463
Editeur : CRC Press, 1986
Couverture souple