VIAF

Virtual International Authority File

Search

Fitting, Melvin, 1942- German National Library National Diet Library, Japan National Library of Israel 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

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

Melvin Fitting ISNI

Fitting, Melvin BIBSYS

Fitting, Melvin Chris German National Library NII (Japan)

Melvin Fitting Amerikaans filosoof Wikidata

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 (16)

Open Section Close SectionWorks

Title Sources
Beyond two theory and applications of multiple-valued logic National Library of France German National Library Sudoc [ABES], France Library of Congress/NACO NUKAT Center of Warsaw University Library BIBSYS
Computability theory, semantics, and logic programming National Diet Library, Japan National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO National Library of Sweden BIBSYS
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 BIBSYS
Fundamentals of generalized recursion theory National Library of France National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO BIBSYS
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 BIBSYS
Set theory and the continuum problem National Library of France National Library of the Netherlands NUKAT Center of Warsaw University Library Sudoc [ABES], France Library of Congress/NACO BIBSYS
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
計算理論と論理プログラミング NII (Japan) National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions 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 (22)