On Sequential Modifications of Applied Predicate Calculi

Publisher Website

1 January 1969

book chapter
Published by Springer Nature

p. 77-81
https://doi.org/10.1007/978-1-4899-5630-9_18

Abstract

No abstract available

This publication has 1 reference indexed in Scilit:

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