Verwandte Artikel zu Mathematical Logic and Theoretical Computer Science...

Mathematical Logic and Theoretical Computer Science (Lecture Notes in Pure & Applied Mathematics, Band 106) - Softcover

Buch 130 von 140: Lecture Notes in Pure and Applied Mathematics

Kueker, David W.; Lopez-Escobar, Edgar G. K.

 
9780824777463: Mathematical Logic and Theoretical Computer Science (Lecture Notes in Pure & Applied Mathematics, Band 106)
Softcover
ISBN 10: 0824777468 ISBN 13: 9780824777463
Verlag: CRC Press, 1986

Inhaltsangabe

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.

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.

Von der hinteren Coverseite

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.

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

Verlag
CRC Press
Erscheinungsdatum
1986
Sprache
Englisch
ISBN 10 
0824777468
ISBN 13 
9780824777463
Einband
Taschenbuch
Anzahl der Seiten
408
Herausgeber
Smith Carl H.
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
gpsr@libri.de
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Deutschland