Found 3 Documents (Results 1–3)
On bounded functional interpretations. (English) Zbl 1251.03074
Reviewer: Jaime Gaspar (Lisboa)
Proof interpretations with truth. (English) Zbl 1211.03087
Reviewer: Gilda Ferreira (Lisboa)
Filter Results by …
Author
- Oliva, Paulo (2)
- Ferreira, Gilda (1)
- Gaspar, Jaime (1)
- Uftring, Patrick (1)
Serial
- J. Symb. Log. (1)
- Ann. Pure Appl. Logic (1)
- Math. Log. Q. (1)
Main Field
- 03-XX (3)