Barwise, Jon 1942-2000
Born: | 29.06.19421942-06-29T00:00:00+02:00 |
---|---|
Died: | 05.03.20002000-03-05T00:00:00+01:00 |
Other Names: |
|
Occupation: | Mathematician |
Geographical Relations: | Country: United States (XD-US) |
Biographical References: | ![]() LCAuth ![]() ![]() |
Archived Material: | Archivportal-D |
Subsystems: | Index Biblicus Index Canonicus RelBib |
Newest Titles (by)
- Archivmaterialien zu Jon Barwise, 1942-2000
- Sprache, Beweis und Logik / 2 Anwendungen und Metatheorie
- Sprache, Beweis und Logik / 1 Aussagen- und Prädikatenlogik
- Sprache, Beweis und Logik
- The language of first-order logic: including the Macintosh version of Tarski's world 4.0
Related Authors
Popular keywords
Publication Timeline
Details
- Barvajs, Dż.
- Barwise, J.
- Barwise, John
- Barwise, K. Jon
- Barwise, Kenneth Jon
MARC
LEADER | 00000cz a2200000n 4500 | ||
---|---|---|---|
001 | 085679100 | ||
003 | DE-627 | ||
005 | 20220909213817.0 | ||
008 | 120419n||aznnnabbn | aaa |c | ||
024 | 7 | |a Q723578 |2 wikidata |9 PipeLineGenerated | |
024 | 7 | |a http://d-nb.info/gnd/124163092 |2 uri | |
035 | |a (DE-588)124163092 | ||
035 | |a (DE-627)085679100 | ||
035 | |a (DE-576)16018715X | ||
035 | |z (DE-588a)185808581 |9 v:zg | ||
035 | |z (DE-588a)171967178 |9 v:zg | ||
035 | |z (DE-588a)124163092 |9 v:zg | ||
040 | |a DE-627 |b ger |c DE-627 |e rda | ||
043 | |c XD-US | ||
079 | |a g |b p |c v |q f |v piz | ||
100 | 1 | |a Barwise, Jon |d 1942-2000 | |
375 | |a 1 |2 iso5218 | ||
400 | 1 | |a Barwise, K. Jon |d 1942-2000 | |
400 | 1 | |a Barwise, J. |d 1942-2000 | |
400 | 1 | |a Barwise, John |d 1942-2000 | |
400 | 1 | |a Barvajs, Dż. |d 1942-2000 |9 v:SWB-AK | |
400 | 1 | |a Barwise, Kenneth Jon |d 1942-2000 | |
548 | |a 1942-2000 |4 datl |w r |i Lebensdaten | ||
548 | |a 29.06.1942-05.03.2000 |4 datx |w r |i Exakte Lebensdaten | ||
550 | |0 (DE-627)10623479X |0 (DE-576)209027355 |0 (DE-588)4037945-0 |a Mathematiker |4 berc |w r |i Charakteristischer Beruf | ||
670 | |a Wikipedia |u https://de.wikipedia.org/wiki/Jon_Barwise |9 PipeLineGenerated | ||
670 | |a LCAuth | ||
678 | |b Amerikan. Mathematiker (Logik, Systemtheorie) | ||
692 | |a Hrsg. von: The syntax and semantics of infinitary languages | ||
692 | |a The liar : an essay on truth and circularity | ||
692 | |a Extended Kamp notation - a graphical notation for situation theory. - 1992 | ||
692 | |a Significato e teorie del linguaggio | ||
692 | |a Language, proof, and logic | ||
700 | 1 | |a Barvajsa, Dž. |d 1942-2000 | |
BEA | |a Archivportal-D |u https://www.archivportal-d.de/person/gnd/124163092 |0 lr | ||
BIB | |a 1 |o create_literary_remains_records | ||
CAN | |a 1 |o create_literary_remains_records | ||
ORI | |a TA-MARC-ixtheoc001.raw | ||
REL | |a 1 |o create_literary_remains_records | ||
SUB | |a CAN |b 1 | ||
SUB | |a BIB |b 1 | ||
SUB | |a IXT |b 7 | ||
SUB | |a REL |b 6 | ||
TIT | |a ixtheo |a relbib |