Fitting, Melvin 1942-
Born: | 1942 |
---|---|
Other Names: |
|
Occupation: | Mathematician / Information scientist |
Geographical Relations: | Country: United States (XD-US) |
Biographical References: | GND (172076331) LCAuth Wikidata (Q16105913) Wikipedia |
Subsystems: | RelBib |
Newest Titles (by)
Popular keywords
Publication Timeline
Details
- Fitting, M. Ch.
- Fitting, Mel
- Fitting, Melvin C.
- Fitting, Melvin Chris
MARC
LEADER | 00000cz a2200000n 4500 | ||
---|---|---|---|
001 | 696983745 | ||
003 | DE-627 | ||
005 | 20220312230324.0 | ||
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 |