Proof theory and intuitionistic systems


Bruno Scarpellini
Bok Språk ikke angitt 1971

Detaljer

Bibliotek som har denne