Forcing in Proof Theory (2004)

by Jeremy Avigad
Venue:BULL SYMB LOGIC
Citations:11 - 0 self

Document Versions

Forcing in Proof Theory –Jeremy Avigad — 2004 — BULL SYMB LOGIC
Forcing in proof theory –Jeremy Avigad, Jeremy Avigad — this Bulletin
Forcing in proof theory –Jeremy Avigad — 2004 — Bulletin of Symbolic Logic
Handbook of proof theory –Jeremy Avigad, Jeremy Avigad — 1998 — Studies in Logic and the Foundations of Mathematics, ch
Forcing in proof theory –Jeremy Avigad — Bull. Symbolic Logic
Forcing in Proof Theory –Jeremy Avigad — Bull Symb Logic
Forcing in Proof Theory –Jeremy Avigad — Bull Symb Logic