Browsing by Author Korányi, Ádám
Showing results 3 to 3 of 3
< previous
Issue Date | Title | Author(s) |
---|---|---|
1970 | Tableau systems for first order number theory and certain higher order theories | Smullyan, Raymond; Coburn, Lewis; Korányi, Ádám; Walker, Sue Ann |