Αποτελέσματα αναζήτησης

Πήδηση στην πλοήγηση Πήδηση στην αναζήτηση
Μήπως εννοούσατε mathematics louis;
  • publications). ISBN 0-486-44979-3. Mathematical Logic around the world Polyvalued logic forall x: an introduction to formal logic, by P.D. Magnus, is a free textbook
    44 KB (3.271 λέξεις) - 12:54, 24 Οκτωβρίου 2018
  • Brown Boolean Reasoning: The Logic of Boolean Equations, 2η έκδ., 2003, σελ. 77 Styazhkin, N.I.: History of Mathematical Logic from Leibniz to Peano. MIT
    4 KB (329 λέξεις) - 09:50, 10 Μαΐου 2017
  • Mathematische Logik und Grundlagen der Mathematik το οποίο αργότερα έγινε το Mathematical Logic Quarterly. Emeriti, Ernst-Moritz-Arndt-Universität Greifswald,
    2 KB (86 λέξεις) - 16:02, 4 Ιουλίου 2019
  • πολλούς τύπους (Many-sorted logic) Jacobs, 1999, κεφάλαιο 5 Andrews, Peter B. (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through
    5 KB (408 λέξεις) - 14:25, 28 Δεκεμβρίου 2017
  • First-Order Logic", in Barwise, Jon, επιμ. (1982). Handbook of Mathematical Logic. Studies in Logic and the Foundations of Mathematics. Amsterdam, NL: North-Holland
    91 KB (8.204 λέξεις) - 05:50, 16 Απριλίου 2018
  • Heijenoort (editor) 1976/1966, From Frege to Gödel: A Source Book in Mathematical Logic, 1979–1931, Harvard University Press, Cambridge MA, ISBN 0-67j4-32449-8(pbk
    36 KB (2.333 λέξεις) - 16:30, 24 Φεβρουαρίου 2019
  • familiarity with the subject: Philosophy of Mathematics Mathematical Logic Set Theory & Further Logic R.B. Jones' philosophy of mathematics page Philosophy
    45 KB (4.016 λέξεις) - 16:34, 30 Ιανουαρίου 2018
  • πρώτης τάξης Curry, Haskell, Foundations of Mathematical Logic Curry, Haskell, Foundations of Mathematical Logic σελ.48 Hodges, Wilfrid (1997). A shorter
    16 KB (1.330 λέξεις) - 07:32, 6 Μαΐου 2017
  • Source Book in Mathematical Logic, 1879-1931. Harvard Univ. Press. 1930. "The completeness of the axioms of the functional calculus of logic," 582-91. 1930
    41 KB (3.588 λέξεις) - 19:21, 25 Ιουνίου 2019
  • Harvard Univ. Press. 1951 (1940). Mathematical Logic. Harvard Univ. Press. (ISBN 0-674-55451-5). 1966. Selected Logic Papers. New York: Random House. 1970
    13 KB (1.228 λέξεις) - 13:07, 5 Αυγούστου 2018
  • 0-07-053522-1 Soare, R. Recursively enumerable sets and degrees. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1987. ISBN 3-540-15299-7
    6 KB (440 λέξεις) - 00:21, 4 Ιουνίου 2014
  • Construction of Intuitionistic Logic». Stanford Research Report 3. "Analysis of Beth’s Semantic Construction of Intuitionistic Logic". Stanford Research Report
    22 KB (1.168 λέξεις) - 22:42, 16 Φεβρουαρίου 2018
  • Theory. ISBN 0-12-238440-7.  Enderton, Herbert B. (1972). A Mathematical Introduction to Logic (1 έκδοση). Academic Press Second edition, 2001. ISBN 978-0-12-238452-3 
    5 KB (326 λέξεις) - 21:46, 12 Απριλίου 2019
  • theorem shows cannot exist. Andrews, Peter (2002). An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd έκδοση). Kluwer Academic
    45 KB (3.855 λέξεις) - 19:43, 5 Σεπτεμβρίου 2017
  • the Mu-calculus». Descriptive Complexity and Finite Models. American Mathematical Society, pp. 185–214. ISBN 0-8218-0517-7.  Kozen, Dexter (1983). «Results
    3 KB (219 λέξεις) - 22:24, 11 Ιουνίου 2014
  • Improvement in Boole's Calculus of Logic (1867) Description of a Notation for the Logic of Relatives (1870) On the Algebra of Logic (1880) A Boolean Algebra with
    95 KB (7.986 λέξεις) - 21:49, 22 Απριλίου 2019
  • Book in Mathematical Logic, 1879–1931. Harvard Univ. Press. David Hilbert. Cohn-Vossen, S. (1999). Geometry and Imagination. American Mathematical Society
    58 KB (5.156 λέξεις) - 16:58, 4 Ιουλίου 2019
  • είναι η περίπτωση του Mycin, Dendral , fuzzy logic, predicate logic (Prolog), symbolic logic, mathematical logic κλπ. Η προτασιακή λογική χρησιμοποιεί μόνο
    52 KB (4.273 λέξεις) - 09:46, 6 Μαΐου 2017
  • 0-7204-2103-9 M. Lerman, 1983. Degrees of unsolvability, Perspectives in Mathematical Logic, Springer-Verlag. ISBN 3-540-12155-2. Andre Nies, 2009. Computability
    68 KB (5.999 λέξεις) - 19:04, 4 Νοεμβρίου 2018
  • (Αγγλικά) B.H. Partee with Herman Hendriks: Montague Grammar. In: Handbook of Logic and Language, eds. J.F.A.K. van Benthem and A.G.B. ter Meulen Elsevier/MIT
    6 KB (519 λέξεις) - 08:31, 6 Μαΐου 2017

Αποτελέσματα από αδελφικά εγχειρήματα

Εμφάνιση: προηγ. 20-επόμ. 20 (20 | 50 | 100 | 250 | 500).