Horn filter pairs and Craig interpolation in propositional logic
Peter Arndt Hugo Luiz Mariano; Darllan Conceição Pinto
Boletin de Matematicas Bogota v. 30, n. 2, p. 1-5, 2023
Bogota 2023
Acesso online. A biblioteca também possui exemplares impressos.