Jörg Flum (flum)

Contributi a Philosophie.ch

Bibliography

Ebbinghaus, Hans Dieter and Flum, Jörg. 2001. “Mathematics of Logic Programming.” in Handbook of Philosophical Logic, Volume I, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 313–370. Dordrecht: Springer.
Flum, Jörg. 1985. “Characterizing Logics.” in Model-Theoretic Logics, edited by Jon K. Barwise and Solomon Feferman, pp. 77–119. Perspectives in Mathematical Logic. Berlin: Springer.
Flum, Jörg. 1995. “Model Theory of Topological Structures.” in Quantifiers: Logic, Models, and Computation. Volume One: Surveys, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 297–312. Synthese Library n. 248. Dordrecht: Kluwer Academic Publishers.
Flum, Jörg. 1999. “On the (Infinite) Model Theory of Fixed Point Logics.” in Models, Algebras, and Proofs. Selected Papers of the X Latin American Symposium on Mathematical Logic Held in Bogotá, edited by Xavier Caicedo and Carlos H. Montenegro, pp. 67–76. New York: Marcel Dekker.