Andrews, P.B.
Show 1 - 1 of 1 items
English
Logic
An introduction to mathematical logic and type theory
Orlando (Fla.) 1986. 304 S.
Logic –
English –
Introductions