Mathematical Logic and Theoretical Computer Science (Lecture Notes in Pure and Applied Mathematics) - Hardcover

Kueker, David

 
9781138466890: Mathematical Logic and Theoretical Computer Science (Lecture Notes in Pure and Applied Mathematics)
Hardcover
ISBN 10: 1138466891 ISBN 13: 9781138466890
Verlag: CRC Press, 2017

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
CRC Press
Erscheinungsdatum
2017
Sprache
Englisch
ISBN 10 
1138466891
ISBN 13 
9781138466890
Einband
Tapa dura
Auflage
1
Anzahl der Seiten
408
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9780824777463: Mathematical Logic and Theoretical Computer Science: 106 (Lecture Notes in Pure and Applied Mathematics)

Vorgestellte Ausgabe

ISBN 10:  0824777468 ISBN 13:  9780824777463
Verlag: CRC Press, 1986
Softcover