Staff View: Fitting, Melvin 1942-

Fitting, Melvin 1942-

Born:	1942
Other Names:	Fitting, Mel Fitting, Melvin C. Fitting, M. Ch. Fitting, Melvin Chris
Occupation:	Mathematician / Information scientist
Geographical Relations:	Country: United States (XD-US)
Biographical References:	GND (172076331) LCAuth Wikidata (Q16105913) Wikipedia
Subsystems:	RelBib

Newest Titles (by)

Proof methods for modal and intuitionistic logics

Popular keywords

Publication Timeline

Fitting, M. Ch.
Fitting, Mel
Fitting, Melvin C.
Fitting, Melvin Chris

MARC


LEADER	00000cz a2200000n 4500
001	696983745
003	DE-627
005	202203122303.2
008	120419n\|\|aznnnabbn \| aaa \|c
024	7	\|a Q16105913 \|2 wikidata \|9 PipeLineGenerated
024	7	\|a http://d-nb.info/gnd/172076331 \|2 uri
035		\|a (DE-588)172076331
035		\|a (DE-627)696983745
035		\|a (DE-576)132950154
035		\|z (DE-588a)174162219 \|9 v:zg
035		\|z (DE-588a)174095880 \|9 v:zg
035		\|z (DE-588a)172076331 \|9 v:zg
043		\|c XD-US
079		\|a g \|b p \|c v \|q f \|v piz
100	1	\|a Fitting, Melvin \|d 1942-
375		\|a 1 \|2 iso5218
400	1	\|a Fitting, Mel \|d 1942-
400	1	\|a Fitting, Melvin C. \|d 1942-
400	1	\|a Fitting, M. Ch. \|d 1942-
400	1	\|a Fitting, Melvin Chris \|d 1942-
548		\|a 1942- \|4 datl \|w r \|i Lebensdaten
550		\|0 (DE-627)10623479X \|0 (DE-576)209027355 \|0 (DE-588)4037945-0 \|a Mathematiker \|4 berc \|w r \|i Charakteristischer Beruf
550		\|0 (DE-627)105635685 \|0 (DE-576)209694017 \|0 (DE-588)4139395-8 \|a Informatiker \|4 beru \|w r \|i Beruf
667		\|a MMm
670		\|a Wikipedia \|u https://de.wikipedia.org/wiki/Melvin_Fitting \|9 PipeLineGenerated
670		\|a LCAuth
678		\|b 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
692		\|a First-order modal logic
692		\|a First-order logic and automated theorem proving
692		\|a Intuitionistic logic model theory and forcing
692		\|a Computability theory, semantics, and logic programming
692		\|a Proof methods for modal and intuitionistic logics
692		\|a Fundamentals of generalized recursion theory
700	1	\|a Fitting, Melvin \|0 (uri)http://lccn.loc.gov/n81018911 \|2 naf \|9 v:1942-
ORI		\|a TA-MARC-ixtheoc001.raw
SUB		\|a IXT \|b 1
SUB		\|a REL \|b 1
TIT		\|a ixtheo \|a relbib

Feedback