A Short Introduction to Intuitionistic Logic

Authors:

ISBN: 978-0-306-46394-5 (Print) 978-0-306-46975-6 (Online)