Lavers, Peter Stanley2018-02-122018-02-121985http://hdl.handle.net/2440/110508enLogic, Symbolic and mathematical; Semantics (Philosophy)Generating intensional logics : the application of paraconsistent logics to investigate certain areas of the boundaries of mathematicsTheses