Browsing Dissertations & Theses by Author "Ibrahim, Rosalind L"

Sort by: Order: Results:

Now showing items 1-1 of 1

  • Ibrahim, Rosalind L (1977)
    This dissertation describes the development of a computer system that can be used for informal axiomatic investigation of mathematics. A formal mathematics-like language is defined which enables a mathematician to write ...

Now showing items 1-1 of 1


Advanced Search


My Account