Treffer: Logical Approach to Programming

Title:
Logical Approach to Programming
Authors:
Nepeivoda, N.N.
Source:
In Studies in Logic and the Foundations of Mathematics 1982 104:109-122
Database:
ScienceDirect