New Directions in Mechanical Theorem Proving

Publisher Website

1 January 1983

book chapter
Published by Springer Nature

p. 152-158
https://doi.org/10.1007/978-3-642-81955-1_10

Abstract

No abstract available

Keywords

THEOREM PROVING

This publication has 7 references indexed in Scilit:

Completeness and Hauptsatz for second order logic1
Theoria, 1967
A MATCHING PROCEDURE FOR W-ORDER LOGIC
Published by Defense Technical Information Center (DTIC) ,1966
Syntactical and semantical properties of simple type theory
The Journal of Symbolic Logic, 1960
An improved proof procedure1
Theoria, 1960
Banishing the rule of substitution for functional variables
The Journal of Symbolic Logic, 1953
Completeness in the theory of types
The Journal of Symbolic Logic, 1950
Mathematical Logic as Based on the Theory of Types
American Journal of Mathematics, 1908