10070 Formal Found'ns (JD)

© 2012 UCD School of Computer Science and Informatics. Contact csiwebeditor@ucd.ie  or use our feedback form.
Disclaimer: the information contained in these Web pages is, to the best of our knowledge, true and accurate at the time of publication, and is solely for informational purposes. University College Dublin accepts no liability for any loss or damage howsoever arising as a result of use of or reliance on this information.