registrieren | anmelden | FAQ      [?] 
Recent | Unread | Search | Authors | Tags | Export

A_Olympias logic [9 articles]

Neue Publikationen in A_Olympias Bibliothek eingetragen unter dem Bezeichner: logic. You can also see everyone's logic.
  • A knowledge compilation map
    (2002)
  • Complete Sequent Calculi for Induction and Infinite Descent
    (2007)
    by James Brotherson, Alex Simpson
  • Symmetry and Paradox
    History and Philosophy of Logic, Vol. 27, No. 4. (November 2006), pp. 307-318.
    by Stephen Read
  • Toward a More Natural Expression of Quantum Logic with Boolean Fractions
    Journal of Philosophical Logic, Vol. 34, No. 4. (August 2005), pp. 363-401.
    by Philip Calabrese
  • The logic of entanglement
    (2 March 2004)
    by Bob Coecke
  • 19th Century Logic between Philosophy and Mathematics
    The Bulletin of Symbolic Logic, Vol. 5, No. 4. (1999), pp. 433-450.
    by Volker Peckhaus
  • Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic
    The Bulletin of Symbolic Logic, Vol. 5, No. 3. (1999), pp. 331-366.
    by Richard Zach
  • Tarskian semantics, or no notation without denotation]
    (1986), pp. 167-169.
  • Hilbert's Programs: 1917--1922
    The Bulletin of Symbolic Logic, Vol. 5, No. 1. (199), pp. 1-44.
    by Wilfried Sieg
  • Bemerkung: Sie können diese Seite wie folgt zitieren: http://www.citeulike.org/user/A_Olympia/tag/logic

    RIS BibTeX