Completeness of Floyd logic

Bulletin of the Section of Logic, Tom 7, Numer 3 (1978) s. 115-120
Hajnal Andreka, Istvan Nemeti

 

do góry