Semantics of Type Theory
Correctness, Completeness and Independence Results
1st Edition
Published on 1. December 1991
Book
Hardback
XII, 299 pages
978-0-8176-3594-7 (ISBN)
More details
Series
Edition
1., 991
Language
English
Place of publication
Secaucus
United States
Target group
College/higher education
Professional and scholarly
Research
Illustrations
XII, 299 p.
Dimensions
Height: 23.5 cm
Width: 15.5 cm
Weight
620 gr
ISBN-13
978-0-8176-3594-7 (9780817635947)
DOI
10.1007/978-1-4612-0433-6
Schweitzer Classification
Other editions
Additional editions
Book
10/2012
Springer-Verlag New York Inc.
€90.94
Shipment within 15-20 days
Previous edition
Thomas Streicher
Semantics of Type Theory: Correctness, Completeness and Independence Results
Correctness, Completeness and Independence Results
Book
11/1991
Birkhäuser Verlag GmbH
€95.32
Article exhausted; check different version