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

@conference{bc426e22772e47c686138353586c3226,

title = "A mechanised environment for Frege's Begriffsschrift notation",

author = "R Macinnis and McKinna, \{James Hugh\} and Parsons, \{Joshua Bernard\} and Roy Dyckhoff",

note = "Workshop on Mathematical User Interfaces 2004, Bialowieza (Poland), September 18 2004",

year = "2004",

language = "English",

}

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 -