Curry Haskell B

Foundations of mathematical logic - 2 - New York Dover U. S. A. 1977 - viii, 408p cm.

Bibliography: P 369-90

0486634620

General Book


Philosophy-Symbolic Logic

R14, L7