Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
From Tetherless World Wiki
George Voutsadakis - Categorical abstract algebraic logic categorical algebraization of first-order logic without terms. In Arch. Math. Log. 44(4):473-491, 2005. (Bibtex)Author : George Voutsadakis
Title : Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
In : Arch. Math. Log. -
Address :
Date : 2005
Title : Categorical abstract algebraic logic categorical algebraization of first-order logic without terms
In : Arch. Math. Log. -
Address :
Date : 2005
| Comments Add New Comment (refresh after adding) | |
|---|---|
Facts about Categorical abstract algebraic logic categorical algebraization of first-order logic without termsRDF feed
| Has author | George Voutsadakis + |
| Has identifier | DBLP:journals/aml/Voutsadakis05 + |
| Has publishing details | 44(4):473-491, 2005 + |
| Has title | Categorical abstract algebraic logic categorical algebraization of first-order logic without terms + |
| Has where published | Arch. Math. Log. + |
| Has year | 2005 + |
