Treatise on Intuitionistic Type Theory

von: Johan Georg Granström

Springer-Verlag, 2011

ISBN: 9789400717367 , 198 Seiten

Format: PDF

Kopierschutz: Wasserzeichen

Windows PC,Mac OSX Apple iPad, Android Tablet PC's

Preis: 130,89 EUR

Mehr zum Inhalt

Treatise on Intuitionistic Type Theory


 

Titelbild

 

Bitte beachten Sie:

Die dargestellten Bilddaten sollen Ihnen einen ersten Eindruck vom Aussehen des Buches vermitteln. Die gelieferten eBooks haben eine noch bessere Auflösung.

1 von: 1 Seiten