Semantics of Type Theory

Name: Semantics of Type Theory | Correctness, Completeness and Independence Results
Price: 85.55 EUR
Availability: OutOfStock
Author: T. Streicher
ISBN: 978-0-8176-3594-7

Correctness, Completeness and Independence Results

T. Streicher(Autor*in)

Birkhauser Boston Inc (Verlag)

1. Auflage

Erschienen am 1. Dezember 1991

Buch

Hardcover

XII, 299 Seiten

978-0-8176-3594-7 (ISBN)

85,55 €inkl. 7% MwSt.

Artikel ist vergriffen; siehe andere Ausgabe

Weitere Details

Weitere Ausgaben

Als PDF speichern Als Link merken