Suggested Topics within your search.
Showing 41 - 60 results of 71 for search '', query time: 0.02s Refine Results
  1. 41
    Cours D.E.A. 86-87 : lambda calcul typé /

    Cours D.E.A. 86-87 : lambda calcul typé / by Girard, Jean-Yves

    Book
  2. 42
    English as a formal language /

    English as a formal language / by Montague, Richard, 1930-1971

    Book
  3. 43
    Montague grammar, situation semantics, and discourse representation theory : a comparison of three semantic theories /

    Montague grammar, situation semantics, and discourse representation theory : a comparison of three semantic theories / by Kasper, Walter

    Published 1986
    Book
  4. 44
    [Introduction].

    [Introduction]. by Thomason, Richmond H.

    Book
  5. 45
    Les fondements de la logique symbolique /

    Les fondements de la logique symbolique / by Greenwood, Thomas, 1901-

    Published 1938
    Book
  6. 46
    Mèthode axiomatique et formalisme /

    Mèthode axiomatique et formalisme / by Cavaillès, Jean

    Published 1938
    Book
  7. 47
    On atristotelian syllogistic /

    On atristotelian syllogistic / by Slupecki, Jerzy

    Book
  8. 48
    Introduction to the theory of computation /

    Introduction to the theory of computation / by Sipser, Michael

    Published 1997
    Book
  9. 49
    Formal concept analysis : mathematical foundations /

    Formal concept analysis : mathematical foundations / by Ganter, Bernhard

    Published 1999
    Book
  10. 50
    The logic of decision /

    The logic of decision / by Jeffrey, Richard C.

    Published 1983
    Book
  11. 51
    Foundations without foundationalism : a case for second-order logic /

    Foundations without foundationalism : a case for second-order logic / by Shapiro, Stewart, 1951-

    Published 1991
    Book
  12. 52
    Quantification theory /

    Quantification theory / by Faris, John Acheson

    Published 1964
    Book
  13. 53
    Elementos de la metalógica y metamatemática /

    Elementos de la metalógica y metamatemática / by Stahl, Gerold

    Published 1964
    Book
  14. 54
    Introduction aux mathématiques modernes /

    Introduction aux mathématiques modernes / by Monjallon, Albert

    Published 1961
    Book
  15. 55
    Leibniz : Logical papers /

    Leibniz : Logical papers /

    Published 1966
    Book
  16. 56
    The basic laws of arithmetic : exposition of the system /

    The basic laws of arithmetic : exposition of the system / by Frege, Gottlob, 1848-1925

    Published 1964
    Book
  17. 57
    Symbolic logic and the game of logic /

    Symbolic logic and the game of logic / by Carroll, Lewis, 1832-1898

    Published 1958
    Book
  18. 58
    Introduction to symbolic logic and its applications /

    Introduction to symbolic logic and its applications / by Carnap, Rudolf P., 1891-1970

    Published 1958
    Book
  19. 59
    Initiation a la logique /

    Initiation a la logique / by Dubarle, Dominique

    Published 1957
    Book
  20. 60
    Logique mathématique appliquée /

    Logique mathématique appliquée / by Freudenthal, Hans, 1905-

    Published 1958
    Book

Search Tools: