Index of /document/Studia Logica ,Volume 95, Numb   Name Size   Parent Directory -   6.pdf 326K   A 2-categorial Generalization of the Concept of Institution.pdf 573K   Book Reviews.pdf 164K   Non-standard Stochastics with a First Order Algebraization.pdf 195K   Reversed Resolution in Reducing General Satisfiability Problem.pdf 220K   Schönfinkel-type Operators for Classical Logic.pdf 314K   Theories with the Independence Property.pdf 314K