A propositional logic of Boolean recursive programs in which predicate variables appear in conditions

A. L. Rastsvetaev

M. V. Lomonosov Moscow State University

UDC: 510.6

Received: 10.01.1989

 English version: Mathematical Notes, 1990, 48:3, 958–964

Bibliographic databases:

• 
• 
•