Found 5 Documents (Results 1–5)
Linearizing intuitionistic implication. (English) Zbl 0767.03006
Reviewer: H.C.M.de Swart (Tilburg)
Weakly semirecursive sets and r.e. orderings. (English) Zbl 0767.03023
Reviewer: C.Calude (Auckland)
Fixed points in Peano arithmetic with ordinals. (English) Zbl 0776.03027
Reviewer: H.Luckhardt (Frankfurt / Main)
Total sets and objects in domain theory. (English) Zbl 0776.03031
Reviewer: U.Berger (München)
MSC:
03F99
Filter Results by …
all
top 5
Author
- Berger, Ulrich (1)
- Jäger, Gerhard (1)
- Kummer, Martin (1)
- Lincoln, Patrick D. (1)
- Ng, Siu-Ah (1)
- Ščedrov, Andrej (1)
- Shankar, Natarajan (1)
- Stephan, Frank (1)
Software
- Lolli (1)