A Complete System of Proof for Diagrammatic Languages

Author:

Lisa Ellen, ex-Russell Lippincott

Robert M. Solovay

Publication date:

December 1, 1994

Publication type:

PhD Thesis (Author field refers to student + advisor)

Topics

Past PhDs topic page, Phd-MathLogic topic page, PhD-year-1994 topic page