Invertible Sequential Variant of Constructive Predicate Calculus

Publisher Website

1 January 1969

book chapter
Published by Springer Nature

p. 36-42
https://doi.org/10.1007/978-1-4684-8968-2_10

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Normal form for Deductions in Predicate Calculus with Equality and Functional Symbols
Published by Springer Nature ,1969
A Simplified Proof Method for Elementary Logic
Published by Elsevier ,1963