Browsing by Author Walker, Sue Ann
Showing results 1 to 1 of 1
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 |