A new proof of the classical Herbrand and Skolem theorem


Herman Ruge Jervell
Bok Engelsk 1971

Detaljer

Bibliotek som har denne