Computational Logic and Set Theory
Subtitle: Applying Formalized Logic to Analysis
Publisher: Springer
Published: Sep 06, 2014
Format: paperback
Number of pages: 436
ISBN-13: 9781447160182
Notes: Source title: Computational Logic and Set Theory: Applying Formalized Logic to Analysis