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 -
The Fraenkel-Carnap Question for Limited Higher-OrderLanguages
George Weaver, Benjamin R. George
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 1-9 -
Hermes Algebras
George Weaver, Edward Thompson
Bulletin of the Section of Logic , 31 /4 (2002) s. 217-229 -
Simple Expansions of Classes Satisfying Fraenkel-Carnap Properties
George Weaver, Irena Penev
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 175-186 -
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