VIAF

Virtual International Authority File

Search

Fitting, Melvin, 1942- German National Library National Diet Library, Japan NUKAT Center of Warsaw University Library National Library of Poland National Library of the Czech Republic Library of Congress/NACO National Library of Sweden

Fitting, Melvin Chris, 1942-.... National Library of France Sudoc [ABES], France

Melvin Fitting Wikidata ISNI

Fitting, Melvin (Melvin Chris), 1942- National Library of the Netherlands

VIAF ID: 46837603 (Personal)

Permalink: http://viaf.org/viaf/46837603

ISNI: 0000  0001  2101  0978 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (12)

Open Section Close SectionWorks

Title Sources
Beyond two theory and applications of multiple-valued logic Library of Congress/NACO National Library of France German National Library NUKAT Center of Warsaw University Library Sudoc [ABES], France
Computability theory, semantics, and logic programming Sudoc [ABES], France xR Extended Titles Library of Congress/NACO National Library of the Netherlands National Diet Library, Japan National Library of Sweden NUKAT Center of Warsaw University Library
Festschrift on the occasion of Professor Rohit Parikh's 60th birthday National Library of the Netherlands
First-order logic and automated theorem proving National Library of France German National Library National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of Sweden
Fundamentals of generalized recursion theory Library of Congress/NACO National Library of France National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France
How true it is = who says it’s true / Melvin Fitting. W: Studia Logica : an international journal for symbolic logic. Vol. 91, nr 3 (2009). National Library of Poland
Incompleteness in the land of sets National Library of the Netherlands NUKAT Center of Warsaw University Library
Keisan riron to ronri puroguramingu National Diet Library, Japan
n81018911 National Diet Library, Japan
Proof methods for modal and intuitionistic logics National Library of France National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France National Library of the Czech Republic Library of Congress/NACO National Library of Sweden
Set theory and the continuum problem Library of Congress/NACO National Library of France National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France
Types, tableaus, and Gödel's God National Library of France German National Library National Library of the Netherlands NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of Sweden
計算理論と論理プログラミング National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (7)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (10)

Open Section Close Section About

Open Section Close Section History of VIAF ID:46837603 (20)