Cover von Semantics of type theory opens in new tab

Semantics of type theory

correctness, completeness and independence results
Author: Search for this author Streicher, Thomas
Statement of Responsibility: Thomas Streicher
Year: 1991
Publisher: Boston, Birkhäuser
Series: Progress in theoretical computer science
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: STREICHER THOMAS Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Details

Author: Search for this author Streicher, Thomas
Statement of Responsibility: Thomas Streicher
Year: 1991
Publisher: Boston, Birkhäuser
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 0-8176-3594-7
ISBN (2nd): 3-7643-3594-7
Description: XII, 298 S.
Series: Progress in theoretical computer science
Search for this character
Media group: MONOGRAPHIE