LOGIC
Proof theory and constructive logic. Model theory. Computability theory. Well-quasi-orderings.
Logic, written by D. Chua, based on lectures by T. E. Forster, 2017, University of Cambridge.
- With Solutions
- Without Solutions
Proof theory and constructive logic. Model theory. Computability theory. Well-quasi-orderings.
Logic, written by D. Chua, based on lectures by T. E. Forster, 2017, University of Cambridge.