2011

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Authors:

ISBN: 978-0-85729-807-2 (Print) 978-0-85729-808-9 (Online)