Bücher nach ISBN
>
Springer
> Patrick Schultz
Patrick Schultz
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior
978-3-O3O-OO7O3-4
(3-O3O-OO7O3-O)
2019
David I. Spivak
George Patrick Schultz
·
P S
·
P. Schultz
Patrick Schulze