Reduksjon og interpolasjon i første ordens logikk


Øyvind Halskau
Bok Bokmål 1972

Detaljer

Bibliotek som har denne