Methods in Mathematical Logic

Author

Carlos Augusto Prisco

Publisher

Springer

Subject

Mathematics

Year

1985

Vol/Edition

1130

ISBN

9783540394143