The language of first-order logic : including the IBM-compatible Windows version of Tarski's world 4.0


Jon Barwise
Bok Engelsk 1992 · Oversiktsverk

Detaljer

Bibliotek som har denne