Computational Logic and Set Theory: Applying Formalized Logic to Analysis
by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
ISBN 13: 9780857298072
Format: Hardcover (433 pages) Publisher: Springer Published: 16 Jul 2011
Save for later