Formalizing Basic Number Theory

Thomas Marthedal Rasmussen

    Research output: Book/ReportReport

    Original languageEnglish
    PublisherComputer Laboratory, University of Cambridge
    Publication statusPublished - 2000

    Cite this

    Rasmussen, T. M. (2000). Formalizing Basic Number Theory. Computer Laboratory, University of Cambridge.
    Rasmussen, Thomas Marthedal. / Formalizing Basic Number Theory. Computer Laboratory, University of Cambridge, 2000.
    @book{db37557a3e3947daa1f2fd8e6d112263,
    title = "Formalizing Basic Number Theory",
    author = "Rasmussen, {Thomas Marthedal}",
    year = "2000",
    language = "English",
    publisher = "Computer Laboratory, University of Cambridge",

    }

    Rasmussen, TM 2000, Formalizing Basic Number Theory. Computer Laboratory, University of Cambridge.

    Formalizing Basic Number Theory. / Rasmussen, Thomas Marthedal.

    Computer Laboratory, University of Cambridge, 2000.

    Research output: Book/ReportReport

    TY - RPRT

    T1 - Formalizing Basic Number Theory

    AU - Rasmussen, Thomas Marthedal

    PY - 2000

    Y1 - 2000

    M3 - Report

    BT - Formalizing Basic Number Theory

    PB - Computer Laboratory, University of Cambridge

    ER -

    Rasmussen TM. Formalizing Basic Number Theory. Computer Laboratory, University of Cambridge, 2000.