
1 - Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-1977 |
2 - Descriptive set theory |
3 - Elementary induction on abstract structures |
1 - Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-1977 |
2 - Descriptive set theory |
3 - Elementary induction on abstract structures |