IBUKI has collected together and indexed electronic (mostly PDF) editions of primary sources, books, articles and study guides for history, science and literature.

• History
  • A Brief History of Logic (RWW)
  • Bochenski
    translation 1961
• Bibliography
  • Paradoxes
  • Logic Books
• Irreverent Stuff
  • Girard - The Phantom of Transparency
• The Development of Logic
  • Ancient Logic
    • Martianus Capella
  • Medieval Logic
    • Survey Papers
      • Thoughts, Words and Things:
        An Introduction to Late Mediaeval Logic and Semantic Theory
        by Paul Vincent Spade
    • Peter Abelard
    • John of Salisbury
    • William of Ockham
  • Philosophical Logic
    • Aldrich, Henry
    • Bentham, George
    • Boole, George
    • Clarke, Richard F.
    • De Morgan, Augustus
    • Hamilton, Sir William (1788-1856)
    • Jevons, William Stanley (1835-1882)
    • Spinoza, Baruch
    • Thomson. William
    • Venn, John
    • Whately, Richard
  • Symbolic Logic and Formalism - Frege to Godel
    • Ackermann, W.
    • Bernays, Paul
    • Brouwer, L.E.J.
    • Cantor, G.
    • Carroll, Lewis
    • Dedikind, Richard
    • Frege, Gottlieb
    • Godel, Kurt
    • Hilbert, David
    • Russell, B
    • Skolem, T.
    • Whitehead, A.N.
    • Zermelo, E.
  • Symbolic Logic and Formalism - After Godel
    • Anderson, C.A.
    • Aczel, P.
    • Barendregt, H.
    • Barwise, J.
    • Belnap, N.
    • Boolos, G
    • Carnap, R.
    • Church, A.
    • Feferman, Soloman
    • Friedman, H.
    • Gentzen, G.
    • Kleene, Stephan Cole
    • Kreisal, George
    • Prawitz, Dag
    • Quine, W.V.
    • Tait, William
    • Tarski, A.
    • van Heijenoort, J.
  • Contempory logicians

  Other Logicians

  • Beall, J.C.
  • Behmann, H.
  • Bernardi, C.
  • Bochvar, D.A.
  • Bruni, R.
  • Burali-forte, C.
  • Burgess, A.G.
  • Burgess, J.P.
  • Cantini, A
  • Chaitin, G.
  • Chwistek, I.
  • Coquand, T.
  • Curry, H.B.
  • Etchemendy, J.
  • Finsler, P.
  • Field, H.
  • Fitch, F.B.
  • Flagg, R.
  • Forti, M.
  • Fujimoto, K.
  • Gaifman, H.
  • Garciadiego, A.
  • Geach, P.
  • Grelling, K
  • Grisin, V.N.
  • Grue, K.
  • Gupta, A.
  • Hadamard, J.
  • Hajik, P.
  • Halbach, V.
  • Hegel, G.W.F.
  • Hessenberg, G.
  • Hinnion, R.
  • Holmes, M.R.
  • Honsell, F.
  • Jevons. W.S.
  • Jourdain, Philip
  • Konig, J.
  • Langford, c.h.
  • Levi, B.
  • Lewis, C.I.
  • Minari, P.
  • Mirimanoff, D.
  • Nelson. L.
  • Moss, L.
  • Myhill, J.
  • Peano, G.
  • Pierce, C.S.
  • Ramsey, F.P.
  • Richard, J.
  • Rosser, J.B.
  • Schonflies, A
  • Sheard, M.
  • von Neumann, J.
  • Weyl, H.
  • Wang, Hoa
  • Zeleny, M.
  • Zygmont, J.

  RWW Mind

  • Forster, Thomas
  • Mason, Ian
  • Nelson, Edward
  • Hook, Julian

  Logics

  • Many-sorted Logic
    • Schmidt, Arnold, Über deduktive Theorien mit mehreren Sorten von Grunddingen, Mathematische Annalen, vol. 115 (1938), pp. 485–506
      • Langford, C.H., Review, JSL, vol. 4 (1939), p. 98
    • Quine, W.V., Mathematical logic, 2nd printing, Cambridge 1947
    • Hilbert, D. and Bernays, P., Grundlagen der Mathematik, vol. 1, Berlin 1934; vol. 2, Berlin 1939
    • Herbrand, Jacques, Recherches sur la théorie de la démonstration, Dissertation, Paris 1930
    • Church, Alonzo, Introduction to mathematical logic, Princeton 1944
    • Gödel, Kurt, Die Vollständigkeit der Axiome des logischen Funklionenkalküls, Monatshefte für Mathematik und Physik, vol. 37 (1930), pp. 349–360
    • Wang, Hao, Existence of classes and value specification of variables, this Journal, vol. 15 (1950), pp. 103–112
    • Gödel, Kurt, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatshefte f&uujml;r Mathematik und Physik, vol. 38 (1931), pp. 173–198

  Set Theory

  • Berg, Benno, van den

  Natural Language

  • Linguists
  • Natural Language