55 results Refine Results
  1. 1
    Published 1980
    “...North-Holland,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Mathematical logic in Latin America : proceedings ... /
  2. 2
    Published 1982
    “...North-Holland,...”
    Book
    Save to List
    Saved in:
    Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 /
  3. 3
    Published 1985
    “...North-Holland,...”
    Book
    Save to List
    Saved in:
    Harvey Friedman's research on the foundations of mathematics /
  4. 4
    Published 1986
    “...North-Holland,...”
    Book
    Save to List
    Saved in:
    Logic, methodology, and philosophy of science, VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
  5. 5
    Published 1979
    “...North-Holland,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
  6. 6
    “...North-Holland,...”
    Book
    Save to List
    Saved in:
    An essay in modal logic /
  7. 7
    Published 1989
    “...North-Holland,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic Colloquium '87 : proceedings of the colloquium held in Granada, Spain, July 20-25, 1987 /
  8. 8
    Published 1988
    “...North-Holland,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic Colloquium '88 : proceedings of the colloquium held in Padova, Italy, August 22-31, 1988 /
  9. 9
    Published 1973
    “...North-Holland,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
  10. 10
    Published 1971
    “...North Holland,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Logic Colloquium '69 : proceedings /
  11. 11
    Published 1968
    “...North-Holland,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
  12. 12
    by Karp, Carol R.
    Published 1964
    “...North-Holland,...”
    Book
    Save to List
    Saved in:
    Languages with expressions of infinite length /
  13. 13
    by Kreisel, Georg
    Published 1971
    “...North Holland,...”
    Book
    Save to List
    Saved in:
    Elements of mathematical logic (model theory) /
  14. 14
    Published 1989
    “...North-Holland,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Methodologies for intelligent systems, 4 : proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina /
  15. 15
    by Kowalski, Robert
    Published 1979
    “...Elsevier North Holland,...”
    Book
    Save to List
    Saved in:
    Logic for problem solving /
  16. 16
    Published 1977
    “...North-Holland Pub. Co.,...”
    Book
    Save to List
    Saved in:
    Handbook of mathematical logic /
  17. 17
    by Gallin, Daniel
    Published 1975
    “...North-Holland Pub.Co.,...”
    Book
    Save to List
    Saved in:
    Intensional and higher-order modal logic : with applications to Montague semantics.
  18. 18
    by Lukasiewicz, Jan
    Published 1970
    “...North-Holland Pub. Co.,...”
    Book
    Save to List
    Saved in:
    Selected works /
  19. 19
    by Rogers, Robert, 1926-
    Published 1971
    “...North-Holland Pub. Co.,...”
    Book
    Save to List
    Saved in:
    Mathematical logic and formalized theories : a survey of basic concepts and results.
  20. 20
    Published 1970
    “...North-Holland Pub. Co.,...”
    Conference Proceeding Book
    Save to List
    Saved in:
    Intuitionism and proof theory : Proceedings of the summer conference at Buffalo, N.Y., 1968 /

Search Tools: