Home > Research > Researchers > Dr Marco Caminati > Publications

Research

Dr Marco Caminati

Lecturer in Computer Science

41 - 41 out of 41Page size: 10
RSS feed of this list
Sort by: Title
  1. Published

    Yet another proof of Goedel's completeness theorem for first-order classical logic

    Caminati, M. B., 11/10/2009, (arXiv preprint arXiv:0910.2059).

    Research output: Working paper › Preprint

Previous 1 2 3 4 5 Next

Back to top