Report - Automation of Higher-Order Logic - Freie Universitätpage.mi.fu-berlin.de/cbenzmueller/papers/B5.pdfChurch’s STT (Church, 1940), which is the focus of this chapter, based both terms

Please pass captcha verification before submit form