First-order logic : an introduction

Leigh S. Cauman
Bok · Engelsk · 1998 Leigh S Cauman

Utgitt	Berlin ; New York : Walter de Gruyter , 1998
Omfang	343 s.
Emner	First-order logic Logikk
ISBN	3110157667