Detail page

Knowledge Web

Person

Melvin Fitting (1942-)

Mathematiker

Name	Melvin Fitting
Time	1942- (Date of birth and death)
Place	USA
Gender	männlich
Profession	Mathematiker (characteristic profession) Informatiker
Variant	Mel Fitting Melvin C. Fitting M. Ch. Fitting Melvin Chris Fitting
Further information	Logiker; Department of Mathematics and Computer Science (Emeritus), Lehman College, Bronx, NY; Departments of Computer Science, Philosophy, and Mathematics (Emeritus), The Graduate School and University Center, New York, NY
Source	LCAuth
Record type	Person
GND-Identifier	172076331
Record ID	172076331
Involved in show all Raymond Smullyan on Self Reference Beyond two: theory and applications of multiple valued logic : with 19 tables Types, tableaus, and Gödel's God First order logic and automated theorem proving First order logic and automated theorem proving First-Order Logic and Automated Theorem Proving

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Melvin Fitting (1942-)

Raymond Smullyan on Self Reference

Beyond two: theory and applications of multiple valued logic : with 19 tables

Types, tableaus, and Gödel's God

First order logic and automated theorem proving

First order logic and automated theorem proving

First-Order Logic and Automated Theorem Proving