Proof Methods for Modal and Intuitionistic Logics > Editions
by Melvin Fitting First published 1983
Published December 25th 2010
by Springer
Softcover reprint of the original 1st ed. 1983, Paperback, 563 pages
Published
by Springer
Paperback, 0 pages
Published March 14th 2014
by Springer
Paperback, 568 pages



