Kueker / Lopez-Escobar | Mathematical Logic and Theoretical Computer Science | Buch | 978-0-8247-7746-3 | sack.de

Buch, Englisch, 408 Seiten, Format (B × H): 178 mm x 254 mm, Gewicht: 764 g

Reihe: Lecture Notes in Pure and Applied Mathematics

Kueker / Lopez-Escobar

Mathematical Logic and Theoretical Computer Science


1. Auflage 1986
ISBN: 978-0-8247-7746-3
Verlag: Routledge

Buch, Englisch, 408 Seiten, Format (B × H): 178 mm x 254 mm, Gewicht: 764 g

Reihe: Lecture Notes in Pure and Applied Mathematics

ISBN: 978-0-8247-7746-3
Verlag: Routledge

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.

Kueker / Lopez-Escobar Mathematical Logic and Theoretical Computer Science jetzt bestellen!

Autoren/Hrsg.

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

Fachgebiete

Weitere Infos & Material

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.