A mechanised environment for Frege's Begriffsschrift notation

R Macinnis, James Hugh McKinna, Joshua Bernard Parsons, Roy Dyckhoff

Research output: Contribution to conference › Paper

Original language	English
Publication status	Published - 2004

Cite this

TY - CONF

T1 - A mechanised environment for Frege's Begriffsschrift notation

AU - Macinnis, R

AU - McKinna, James Hugh

AU - Parsons, Joshua Bernard

AU - Dyckhoff, Roy

N1 - Workshop on Mathematical User Interfaces 2004, Bialowieza (Poland), September 18 2004

PY - 2004

Y1 - 2004

UR - http://www.activemath.org/~paul/MathUI/proceedings/FregesBegriffsSchrift.html

M3 - Paper

ER -