Travelled to:1 × Germany
Collaborated with:∅
Talks about:circumscrit (1) elementari (1) contribut (1) analysi (1) theori (1) induct (1) logic (1) type (1) some (1) name (1)
Person: Gerhard Jäger
DBLP: J=auml=ger:Gerhard
Facilitated 2 volumes:
EdEdContributed to:
1987
1986Wrote 2 papers:
- CSL-1987-Jager #induction
- Induction in the Elementary Theory of Types and Names (GJ), pp. 118–128.
- CADE-1986-Jager #analysis #logic
- Some Contributions to the Logical Analysis of Circumscrition (GJ), pp. 154–171.