- Wellfounded trees in categories.Ieke Moerdijk & Erik Palmgren - 2000 - Annals of Pure and Applied Logic 104 (1-3):189-218.details
|
|
[Omnibus Review].John G. Kemeny - 1954 - Journal of Symbolic Logic 19 (2):134-134.details
|
|
[Omnibus Review].Robert Goldblatt - 1986 - Journal of Symbolic Logic 51 (1):225-227.details
|
|
The Liar.J. Barwise & J. Etchemendy - 1990 - Studia Logica 49 (3):426-427.details
|
|
The iterative conception of set.George Boolos - 1971 - Journal of Philosophy 68 (8):215-231.details
|
|
Godel, Escher, Bach: An Eternal Golden Braid.Douglas Richard Hofstadter - 1979 - Hassocks, England: Basic Books.details
|
|
Introduction to Lattices and Order.B. A. Davey & H. A. Priestley - 2002 - Cambridge University Press.details
|
|
Coalgebraic logic.Lawrence S. Moss - 1999 - Annals of Pure and Applied Logic 96 (1-3):277-317.details
|
|
al-Akhlāq: uṣūluhā al-dīnīyah wa-judhūruhā al-falsafīyah.Muḥammad ʻAlī Bārr - 2010 - Jiddah: Kursī Akhlāqīyāt al-Ṭibb.details
|
|
Logics of Time and Computation.Robert Goldblatt - 1992 - CSLI Publications.details
|
|
Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.details
|
|
An argument for finsler-Aczel set theory.Adam Rieger - 2000 - Mind 109 (434):241-253.details
|
|
Gödel, Escher, Bach: An Eternal Golden Braid.Judson C. Webb - 1979 - Journal of Symbolic Logic 48 (3):864-871.details
|
|
The Graph Conception of Set.Luca Incurvati - 2014 - Journal of Philosophical Logic 43 (1):181-208.details
|
|
Completeness of the finitary Moss logic.Clemens Kupke, Alexander Kurz & Yde Venema - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 193-217.details
|
|
Final coalgebras and the Hennessy–Milner property.Robert Goldblatt - 2006 - Annals of Pure and Applied Logic 138 (1):77-93.details
|
|
Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.details
|
|
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.details
|
|
Tools and techniques in modal logic.Marcus Kracht - 1999 - New York: Elsevier.details
|
|
STS: A Structural Theory of Sets.Alexandru Baltag - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 1-34.details
|
|
In so many possible worlds.Kit Fine - 1972 - Notre Dame Journal of Formal Logic 13 (4):516-520.details
|
|
Doctrines in categorical logic.Anders Kock & Gonzalo E. Reyes - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 90.details
|
|
Hypersets.J. Barwise & L. Moss - 1991 - The Mathematical Intelligencer 13:31-41.details
|
|
Finality regained: A coalgebraic study of Scott-sets and multisets. [REVIEW]Giovanna D'Agostino & Albert Visser - 2002 - Archive for Mathematical Logic 41 (3):267-298.details
|
|
Theories of Abstract Automata.Michael A. Arbib - 1972 - Journal of Symbolic Logic 37 (2):412-413.details
|
|