Skip to content

Ordinal Arithmetic with List Structures.

Nachum Dershowitz, Edward M. Reingold

Year1992
ProceedingsLFCS

Browse the full LFCS paper archive.