Finitely Generated Free Heyting Algebras.

Fabio Bellissima

Published in: J. Symb. Log. (1986)

Keyphrases

description logics
automatically generated
randomly selected
generation process
website
digital libraries