Abstract
Contents
A. Preliminary Analysis
B. Conventions of the B-Language
C. Rules for Terms and Propositions
D. The Systems LA* and LC*
E. Theorems on Extensions
F. Basic Theorems of the LA* and LC* Systems
G. The Systems TA*, TC*.
H. The Predicate Calculus
Information
Published: 1 January 1966
First available in Project Euclid: 29 March 2007
Rights: Copyright © 1966, University of Notre Dame
