Srivastava S M
Course on mathematical logic
- New York Springer 2008
- x, 140p. cm.
''References 135-p''.; ''Index 137-140p''.
9780387762753 (pbk)
84207
1426, 30/07/2009, Channel Publications Textual
First-order languages
Propositional logic
Mathematics
B:(R1), P8