Shortcuts
SISSA Library . Default .
PageMenu- Main Menu-
Page content
 

Search Results

Your Search for Combined Author=SCHULTZ PATRICK returned 1 Items

Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION
Display results in shelf format.
Search Results
Result Thumbnail Title Author Year Flags Holding Information
1 Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior [Ebook]
Series:Progress in computer science and applied logicVolume:29
 		Schultz, Patrick 2019 Ebook URL Exists Catalogue Record Shelf Location: Online Resource: Birkhäuser.
Search Result Page: .   1   .   . Page: 1 of 1
SELECT THE TITLE TO ACCESS THE AVAILABILITY INFORMATION

Quick Search