Logic and Computer Science

Author

Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov

Publisher

Springer

Subject

Mathematics

Year

1990

Vol/Edition

1429

ISBN

9783540471356