KALISH, Donald.

Techniques of Formal Reasoning - New York Harcourt Brace Jovanovich 1980 - xvi, 520p.

0155511815

1980