Definitions: the primitive concept of logics or The Leśniewski-Tarski legacy

E. G. K. López-Escobar; Francisco Miraglia

  • 2002

How to cite

top

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 -

NotesEmbed ?

top

You must be logged in to post comments.