Detailansicht

Wissensnetz

Person

Melvin Fitting (1942-)

Mathematiker

Name	Melvin Fitting
Zeit	1942- (Lebensdaten)
Ort	USA
Geschlecht	männlich
Beruf	Mathematiker (charakteristischer Beruf) Informatiker
Variante	Mel Fitting Melvin C. Fitting M. Ch. Fitting Melvin Chris Fitting
Weitere Angaben	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
Quelle	LCAuth
Datensatztyp	Person
GND-Nummer	172076331
Datensatz-ID	172076331
Beteiligt an alle anzeigen 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

Hinweis

Die Betaversion beinhaltet noch nicht alle Funktionen und Informationen des Katalogs des DNB-Portals. Falls Sie Informationen vermissen oder ein Medium bestellen wollen, besuchen Sie bitte die entsprechende Seite im Katalog des DNB-Portals über folgenden 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