VLB Suche

Suche in den Daten des Verzeichnisses lieferbarer Bücher (VLB)

Drucken

Suchergebnisse

Produktdetails

An Introduction to Mathematical Logic and Type Theory

Autor
Peter B. Andrews

An Introduction to Mathematical Logic and Type Theory

Untertitel
To Truth Through Proof
Verlag
Springer Netherland
ISBN/EAN
978-94-015-9934-4
Preis
96,29 EUR
Status
lieferbar