FA Sign in

Discover references

Proof Theory

Books

2 results

Cover of A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

English Beginner

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity

Shawn Hedman

2004 View book

Cover of Archive for Mathematical Logic

English Unordered

Archive for Mathematical Logic

Dag Normann

2002 November 01 View book