Ergebnisliste für ISBN= "9789400717350"; Sortiert nach: Jahr, dann Urheber

  Hilfe zur Ergebnisliste


Titel 1 - 2 von 2  
 
 
Vorige Seite   Nächste Seite

# Urheber Titel Jahr Bestand
1
Granström, Johan Georg Treatise on intuitionistic type theory / Johan Georg Granström. - (Logic, epistemology, and the unity of science ; 22) 

URL: http://digitale-objekte.hbz-nrw.de/storage/2011/08/04/file_14/4244739.pdf
Inhaltsverzeichnis

2011 
     
2
Granström, Johan Georg Treatise on Intuitionistic Type Theory [Elektronische Ressource] / by Johan Georg Granström, Johan Georg Granström. - (Logic, Epistemology, and the Unity of Science ; 22) 

URL: http://dx.doi.org/10.1007/978-94-007-1736-7 ; Hinw.: Resolving-System

2011 
     


Vorige Seite   Nächste Seite