Ordinal arithmetic with list structures (1992)

Cached

Download Links

by Nachum Dershowitz , Edward M. Reingold
Venue:In Logical Foundations of Computer Science
Citations:5 - 0 self