Melvin Fitting’s Followers (3)

Melvin Fitting

Born

in The United States

January 24, 1942

Genre

Logic

edit data

Melvin "Mel" Fitting (born January 24, 1942) is a logician with special interests in philosophical logic and tableau proof systems. He was a Professor at City University of New York, Lehman College and the Graduate Center from 1968 to 2013. At the Graduate Center he was in the departments of Computer Science, Philosophy, and Mathematics, and at Lehman College he was in the department of Mathematics and Computer Science. He is now Professor emeritus.

Fitting was born in Troy, New York. His undergraduate degree is from Rensselaer Polytechnic Institute, and his doctorate is from Yeshiva University, both in mathematics. His thesis advisor was Raymond Smullyan.

In June 2012 Melvin Fitting was given the Herbrand Award by CADE, for distinguished con ...more

Combine Editions
Melvin Fitting’s books

Average rating: 4.29 · 75 ratings · 3 reviews · 23 distinct works

	First-Order Logic and Automated Theorem Proving 4.60 avg rating — 5 ratings — published 1990 — 12 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Incompleteness in the Land of Sets 4.40 avg rating — 5 ratings — published 2007 — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Types, Tableaus, and Gödel's God 3.67 avg rating — 3 ratings — published 2002 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Proof Methods for Modal and Intuitionistic Logics (Synthese Library, 169) 4.50 avg rating — 2 ratings — published 1983 — 4 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Intuitionistic logic, model theory and forcing it was amazing 5.00 avg rating — 1 rating — published 1969	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Computability Theory, Semantics, and Logic Programming it was amazing 5.00 avg rating — 1 rating — published 1987	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Beyond Two: Theory and Applications of Multiple-Valued Logic: Theory And Applications Of Multiple-Valued Logic by Melvin Fitting (editor), Ewa Orlowska (Editor) it was amazing 5.00 avg rating — 1 rating — published 2010	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	First-Order Modal Logic (Synthese Library Book 480) by Melvin Fitting, Richard L. Mendelsohn it was amazing 5.00 avg rating — 1 rating — 2 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Beyond Two: Theory and Applications of Multiple Valued Logic really liked it 4.00 avg rating — 1 rating — published 2003 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars
	Fundamentals of Generalized Recursion Theory really liked it 4.00 avg rating — 1 rating — published 1981 — 3 editions	Error rating book. Refresh and try again. Rate this book Clear rating 1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars