Sell, buy or rent Melvin Fitting textbooks

Set Theory and the Continuum Problem (Dover Books on Mathematics)

by Raymond M. Smullyan, Melvin Fitting
ISBN-13: 9780486474847
ISBN-10: 0486474844
Edition: Revised
Publication date: 2010
Publisher: Dover Publications
Format: Paperback 336 pages

First-Order Logic and Automated Theorem Proving (Texts & Monographs in Computer Science)

by Melvin Fitting
ISBN-13: 9780387972336
ISBN-10: 0387972331
Publication date: 1990
Publisher: Springer-Verlag
Format: Hardcover 242 pages

Beyond Two: Theory and Applications of Multiple-Valued Logic (Studies in Fuzziness and Soft Computing, 114)

by Melvin Fitting, Ewa Orlowska
ISBN-13: 9783790825220
ISBN-10: 3790825220
Edition: Softcover reprint of hardcover 1st ed. 2003
Publication date: 2010
Publisher: Physica
Format: Paperback 384 pages

First-Order Modal Logic (Synthese Library, 480)

by Melvin Fitting, Richard L. Mendelsohn
ISBN-13: 9783031407130
ISBN-10: 303140713X
Edition: 2nd ed. 2023
Publication date: 2023
Publisher: Springer
Format: Hardcover 480 pages

Selected Topics from Contemporary Logics

by Melvin Fitting
ISBN-13: 9781848903500
ISBN-10: 1848903502
Publication date: 2021
Publisher: College Publications
Format: Paperback 858 pages

Justification Logic: Reasoning with Reasons (Cambridge Tracts in Mathematics, Series Number 216)

by Sergei Artemov, Melvin Fitting
ISBN-13: 9781108424912
ISBN-10: 1108424910
Edition: 1
Publication date: 2019
Publisher: Cambridge University Press
Format: Hardcover 268 pages

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

by Melvin Fitting
ISBN-13: 9781461275152
ISBN-10: 1461275156
Edition: 2nd ed. 1996. Softcover reprint of the original 2nd ed. 1996
Publication date: 2013
Publisher: Springer
Format: Paperback 344 pages

Intuitionistic logic, model theory and forcing (Studies in logic and the foundations of mathematics)

by Melvin Fitting
ISBN-13: 9780720422566
ISBN-10: 0720422566
Edition: First Edition
Publication date: 1969
Publisher: North-Holland Pub. Co
Format: Paperback 191 pages

Incompleteness in the Land of Sets (Studies in Logic)

by Melvin Fitting
ISBN-13: 9781904987345
ISBN-10: 1904987346
Publication date: 2007
Publisher: College Publications
Format: Paperback 156 pages

Computability Theory, Semantics, and Logic Programming (Oxford Logic Guides)

by Melvin Fitting
ISBN-13: 9780195036916
ISBN-10: 0195036913
Publication date: 1987
Publisher: Oxford University Press
Format: Hardcover 218 pages