An Herbrand theorem for higher order logic


Herman Ruge Jervell
Bok Engelsk 1971

Detaljer

Bibliotek som har denne