Normal form for Deductions in Predicate Calculus with Equality and Functional Symbols

Publisher Website

1 January 1969

book chapter
Published by Springer Nature

p. 21-23
https://doi.org/10.1007/978-1-4899-5630-9_5

Abstract

No abstract available

This publication has 1 reference indexed in Scilit:

A Simplified Proof Method for Elementary Logic
Published by Elsevier ,1963