Skip to main content

A Note on Definition by Cases

Richard Bird

Journal
Zeitschrift für mathematische Logik und Grundlagen der Mathematik
Pages
207–208
Volume
19
Year
1973