Now showing items 1-20 of 275

    • A Survey of Symbolic Logic 

      Lewis, Clarence Irving (University of California Press, 1918)
      Modern interest in modal logic began with this seminal work by the American C. I. Lewis. As well as developing a theory of strict implication based on criticism of Russell and Whitehead's concept of implication, it contains ...
    • A Survey of Symbolic Logic 

      Clarence Irving Lewis (University of California Press, 1918)
    • A Survey of Symbolic Logic 

      Clarence Irving Lewis (University of California Press, 1918)
    • A Survey of Symbolic Logic 

      Clarence Irving Lewis (University of California Press, 1918)
      Modern interest in modal logic began with this seminal work by the American C. I. Lewis. As well as developing a theory of strict implication based on criticism of Russell and Whitehead’s concept of implication, it contains ...
    • An Introduction to Logic and Scientific Method 

      Morris R. Cohen, Ernest Nagel (, 1937)
    • Logic: Deductive and Inductive 

      Carveth Read (Dodo Press, 1914)
      Professor Carveth Read (1848-1931) was a 19th and 20th century British philosopher and logician. He was Professor of Philosophy at University College London. His works include: The Theory of Logic (1878), Logic: Deductive ...
    • Principia Mathematica 

      Whitehead, Alfred North - Russell, Bertrand Arthur William (Cambridge University Press, 1927)
    • Principia Mathematica 

      Alfred North Whitehead, Bertrand Russell (Cambridge University Press, 1927)
    • Principia Mathematica 

      Alfred North Whitehead, Bertrand Russell (Cambridge University Press, 1927)
      Principia Mathematica was first published in 1910-1913; this is the fifth impression of the second edition of 1925-1927. The Principia has long been recognised as one of the intellectual landmarks of the century. It was ...
    • Principia Mathematica 

      Alfred North Whitehead, Bertrand Russell (Cambridge University Press, 1927)
    • Principia Mathematica 

      Alfred North Whitehead, Bertrand Russell (Cambridge University Press, 1927)
    • R-множества 

      Ляпунов А.А. (, 1953)
    • R-множества 

      Ляпунов А.А. (, 1953)
    • R-множества 

      Ляпунов А.А. (АН СССР, 1953)
    • Symbolic Logic 

      John Venn (Macmillan and Co., 1881)
    • Symbolic Logic, Part I: Elementary 

      Lewis Carroll (Charles Lutwidge Dodgson) (Macmillan, 1896)
    • Systems of Logic Based on Ordinals 

      Alan Turing (London Mathematical Society, 1938)
      Alan Turing's PhD Thesis
    • The theory of constructive types 

      Chwistek L. (, 1925)
    • Азбука математической логики 

      Мельников Г. П. (Знание, 1967)
      Из предисловия: Очевидно, что умение чётко разделять изучаемый объект на составные части и на связи между ними, умение так или иначе представлять сеть, схему связей между составными частями, умение выбирать лучший вариант ...