Church, Alonzo

Introduction to mathematical logic - New Jersey : Princeton University Press, 1956 - v.


DOCTRINA