Found 4 Documents (Results 1–4)
Introduction to \(\Pi^1_2\)-logic. (English) Zbl 1069.03503
Reviewer: M. Yasuhara (Princeton) (MR 86m:03089)
Filter Results by …
Author
- Girard, Jean-Yves (4)
- Vauzeilles, Jacqueline (2)
- Normann, Dag (1)
Serial
Main Field
- 03-XX (4)