Church Alonzo

Introduction to mathematical logic - 1956 - p. cm.

63770

Textual


Philosophy of maths

B:(R1), J6.1