Displaying similar documents to “Primitive recursive notations for infinitary formulas”

Good choice sets

J. C. E. Dekker (1966)

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze

Similarity: