A finitary relational algebra for classical first-order logic

Bulletin of the Section of Logic, Tom 20, Numer 2 (1991) s. 52-62
Paulo A.S. Veloso, Armando M. Haeberer

 

do góry