Silvio Ghilardi Unification, finite duality and projectivity in varieties of Heyting algebras. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:99-115 [Journal]
Roger D. Maddux Finite, integral, and finite-dimensional relation algebras: a brief history. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:117-130 [Journal]
George F. McNulty Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:131-153 [Journal]
Leo Esakia Intuitionistic logic and modality via topology. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:155-170 [Journal]
Stan J. Surma Between Galois connections and (some metamathematical) solutions of equations fgf=f and gfg=g. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:229-242 [Journal]
Urszula Wybraniec-Skardowska Foundations for the formalization of metamathematics and axiomatizations of consequence theories. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:243-266 [Journal]
Arianna Betti Lesniewski's early Liar, Tarski and natural language. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:267-287 [Journal]
Roman Duda On the Warsaw interactions of logic and mathematics in the years 1919-1939. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:289-301 [Journal]
Roman Murawski Philosophical reflection on mathematics in Poland in the interwar period. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:325-337 [Journal]
Jan Wolenski Aletheia in Greek thought until Aristotle. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:339-360 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP