Zum Inhalt springen Pitts, Andrew M. [HerausgeberIn]; Dybjer, Peter [HerausgeberIn] ; Summer School on Semantics and Logics of Computation 1995 Cambridge Semantics and logics of computation : [based on material presented at a Summer School on Semantics and Logics of Computation that took place at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, in September 1995] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge, UK [u.a.]: Cambridge Univ. Press, 1997 Erschienen in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14
Pitts, Andrew M. [HerausgeberIn]; Dybjer, Peter [HerausgeberIn] ; Summer School on Semantics and Logics of Computation 1995 Cambridge Semantics and logics of computation : [based on material presented at a Summer School on Semantics and Logics of Computation that took place at the Isaac Newton Institute for Mathematical Sciences, Cambridge, UK, in September 1995] Bücher Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. Cambridge, UK [u.a.]: Cambridge Univ. Press, 1997 Erschienen in: Isaac Newton Institute for Mathematical Sciences: Publications of the Newton Institute ; 14
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Verfügbarkeit Skip to next facet Freihand verfügbar (1) Wert ausschließen zeige weitere weniger zeigen
> Standort Skip to next facet Bereichsbibliothek DrePunct (1) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (1) Wert ausschließen Mathematik (1) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Dybjer, Peter (1) Wert ausschließen Pitts, Andrew M. (1) Wert ausschließen Summer School on Semantics and Logics of Computation 1995 Cambridge (1) Wert ausschließen zeige weitere weniger zeigen