A Theory of Formal Deducibility, volume 6 of Notre Dame Mathematical Lectures. Notre Dame (1950)

by HASKELL B CURRY