Extension of Fortran for proposal writing.
[Sammet 1969, p. 170].
(1995-01-18)
Try this search on Wikipedia, OneLook, Google
Nearby terms: proof theory « propeller head « propeller key « Proposal Writing » proposition » propositional calculus » propositional logic
