Tableau Systems for First Order Number Theory and Certain Higher Order Theories

By clibrary on Mon, 06/23/2025 - 20:13
Author

Sue Toledo

Publisher

Springer

Subject

Mathematics

Year

1975

Vol/Edition

447

ISBN

9783540374428

URL
http://dx.doi.org/10.1007/BFb0062936