First-Order Formative Rules? Carsten Fuhs1 and Cynthia Kop2 1 2 University College London, Dept. of Computer Science, London WC1E 6BT, UK

First Page		Document Content
Date: 2014-05-03 11:37:43 Symbol Limit of a function Measure theory Differential topology Generalised Whitehead product Natural deduction		First-Order Formative Rules? Carsten Fuhs1 and Cynthia Kop2 1 2 University College London, Dept. of Computer Science, London WC1E 6BT, UK Add to Reading List Source URL: www.dcs.bbk.ac.uk Download Document from Source Website File Size: 443,58 KB Share Document on Facebook