vergriffen

Semantics of Type Theory - Correctness, Completeness and Independence Results

Englisch · Fester Einband

Beschreibung

Produktdetails

Autoren T. Streicher, Thomas Streicher
Verlag Springer Basel
 
Sprache Englisch
Produktform Fester Einband
Erschienen 05.12.2012
 
EAN 9780817635947
ISBN 978-0-8176-3594-7
Seiten 299
Abmessung 160 mm x 240 mm x 20 mm
Gewicht 620 g
Illustration XII, 299 p.
Serie Progress in Theoretical Computer Science
Thema Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Allgemeines, Lexika

Kundenrezensionen

Zu diesem Artikel wurden noch keine Rezensionen verfasst. Schreibe die erste Bewertung und sei anderen Benutzern bei der Kaufentscheidung behilflich.

Schreibe eine Rezension

Top oder Flop? Schreibe deine eigene Rezension.

Für Mitteilungen an CeDe.ch kannst du das Kontaktformular benutzen.

Die mit * markierten Eingabefelder müssen zwingend ausgefüllt werden.

Mit dem Absenden dieses Formulars erklärst du dich mit unseren Datenschutzbestimmungen einverstanden.