Set recursion and π1/2-logic


Jean-Yves Girard
Bok Språk ikke angitt 1983

Detaljer

Bibliotek som har denne