E. G. K. López-Escobar, and Francisco Miraglia. Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy. 2002. <http://eudml.org/doc/285974>.
@book{E2002, author = {E. G. K. López-Escobar, Francisco Miraglia}, keywords = {Beth model; equivalence; intuitionistic propositional calculus; intuitionism; New Protothetic; intuitionistic propositional connective; equivalence calculi; Lindenbaum algebras}, language = {eng}, title = {Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy}, url = {http://eudml.org/doc/285974}, year = {2002}, }
TY - BOOK AU - E. G. K. López-Escobar AU - Francisco Miraglia TI - Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy PY - 2002 LA - eng KW - Beth model; equivalence; intuitionistic propositional calculus; intuitionism; New Protothetic; intuitionistic propositional connective; equivalence calculi; Lindenbaum algebras UR - http://eudml.org/doc/285974 ER -