Wyniki
-
Quasi-finitely Characterizable and Finitely Characterizable Dedekind Algebras
George Weaver, Benjamin George
Bulletin of the Section of Logic , 31 /3 (2002) s. 145-157 -
Speed - Virtuosity - Labyrinth
George Lellis
Art Inquiry. Recherches sur les arts /3 (2001) s. 207-213 -
From Iron Age to Middle Age : the Archaeological Evidence of Ships and Boats of the Baltic Sea
George Indruszewski
Quaestiones Medii Aevi Novae 10 (2005) s. 11-52 -
Omega-consistency and the diamond
George Boolos
Bulletin of the Section of Logic , 9 /1 (1980) s. 46-49 -
On Rine's view of Boolean algebras
George Epstein
Bulletin of the Section of Logic , 10 /2 (1981) s. 91-92 -
Purposive naming in mathematics
George Epstein
Bulletin of the Section of Logic , 4 /3 (1975) s. 91-93 -
Oberlausitz : a GIS-based Medieval landscape modelling of the Sorbian/German region
George Indruszewski
Archaeologia Polona 41 (2003) s. 207-209 -
A summary of the underlying ground for hypothetical propositions
George Epstein
Bulletin of the Section of Logic , 24 /4 (1995) s. 236-237 -
A basic formal equational predicate logic - Part I
George Tourlakis
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 43-56 -
A basic formal equational predicate logic : part II
George Tourlakis
Bulletin of the Section of Logic , 29 /3 (2000) s. 75-87 -
Standard Normalization for Infinite Typed Terms
George Koletsos
Bulletin of the Section of Logic , 37 /1 (2008) s. 11-18 -
A Sequent Calculus for Constructive Logic with Strong Negation as a Substructural Logic
George Metclafe
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 5-11 -
A New Foundation of a Complete Boolean Equational Logic
George Tourlakis
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 13-29 -
Categorical Abstract Algebraic Logic Referential π-Institutions
George Voutsadakis
Bulletin of the Section of Logic , 44 /1-2 (2015) s. 33-51 -
Categorical Abstract Algebraic Logic: Hidden Multi-Sorted Logics as Multi-Term π-Institutions
George Voutsadakis
Bulletin of the Section of Logic , 45 /2 (2016) s. 111-124