Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 15
Number of items: 15
  • Doets, K., & van Eijck, J. (2012). The Haskell Road to Logic, Maths and Programming. (2nd ed.) (Texts in computing; Vol. 4). College Publications.
  • van Benthem, J. F. A. K., & Doets, H. C. (2001). Higher-Order Logic. In Handbook of Philosophical Logic (second revised edition) (pp. 1879-243). Kluwer.
  • Doets, H. C. (1999). Relatives of the russell paradox. Mathematical Logic Quarterly, 45(1), 73-83. https://doi.org/10.1002/malq.19990450107
  • Doets, H. C. (1999). Three old pieces. In M. Marx, J. Gerbrandy, M. de Rijke, & Y. Venema (Eds.), JFAK. Essays dedicated to Johan van Benthem on the occasion of his 50th anniversary Amsterdam University Press.
  • Doets, H. C. (1998). Elementary properties of finite ranks. Mathematical Logic Quarterly, 44(3), 349-353. https://doi.org/10.1002/malq.19980440306
  • Doets, H. C. (1997). Logic Programming. In M. Hazewinkel (Ed.), Encyclopedia of Mathematics, volume Supplement Volume I Kluwer.
  • Dalla Chiara, M., Doets, H. C., Mundici, D., & van Benthem, J. F. A. K. (1997). Logic and scientific methods. Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995. (Synthese library; studies in epistemology, logic, methodoloe; No. 259). Kluwer.
  • Dalla Chiara, M., Doets, H. C., Mundici, D., & van Benthem, J. F. A. K. (1997). Structures and norms in science. Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995. (Synthese library; studies in epistemology, logic, methodolo; No. 260). Kluwer.
  • Doets, H. C. (1996). Wijzer in Wiskunde. CWI.
  • Doets, H. C. (1996). Basic model theory. CSLI Publications & FoLLI.
Page 1 of 2