NDLTD logo NDLTD Union Catalog and Global ETD Search

Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 4 of 4 for “"Logic, Symbolic and mathematical"”.

  1. Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematics

    Lavers, Peter Stanley1985

    adelaide Repository record

  2. Describing mathematics without revision: Wittgenstein's radical constructivism

    Ladeira, Thiago, University of Lethbridge. Faculty of Arts and Science2020

    lethbridge

  3. A partial "squeezing theorem" for a particular class of many-valued logics

    Walk, Stephen Michael1994

    1 PDF file (v, 98 pages)

    northern-iowa Repository record

  4. Godel's incompleteness theorems

    Dickson, Jessica

    … or inconsistency? Kurt Godel shocked the mathematical community in 1931 when he proved any effectively generated, sufficiently complex, and sound axiomatic system could not be both consistent and complete. This thesis will explore two formal languages of logic and their associated …

    eastern-wash Repository record