Mechanical geometry theorem proving by Chou, Shang-Ching fromMathematics and Its Applications (Dordrecht) 0 Type: Book
Three views of logic: mathematics, philosophy, and computer science by Loveland, Donald W., Hodel, Richard E., Sterrett, Susan G. 0 Type: Book
Natural deduction, hybrid systems and modal logics by Indrzejczak, Andrzej fromTrends in Logic 0 Type: Book
Bridge to abstract mathematics: mathematical proof and structures by Morash, Ronald P. fromRandom House/Birkhäuser Mathematics Series 0 Type: Book
