Angus MacIntyre - Edinburgh Research Explorer

Edinburgh Research Explorer

Angus MacIntyre

(Former employee or visitor)

Research outputs

The Nature of Mathematical Proof
Research output: Contribution to journal › Special issue › peer-review

View all (1) »

Research projects

Hodge theory in a new century
Project: Research
ICMS Workshop on analyzable functions and applications
Project: Research
Model theory of generic structures and simple theories
Project: Research

View all (3) »

ID: 21016