Arytmetyka Presburgera (Q405759): Difference between revisions
Jump to navigation
Jump to search
(Changed an Item: Updating statements of entity ["Arytmetyka Presburgera" (pl), "Arytmetyka Presburgera" (en)] with Lapacz) |
(Changed an Item: Updating statements of entity ["Arytmetyka Presburgera" (pl)] with Lapacz) |
||
Property / Type | |||
Property / Type: Unknown / rank | |||
Property / Version | |||
Property / Version: Crach an Craite / rank | |||
Property / National Library Identifier | |||
a1000000005093 | |||
Property / National Library Identifier: a1000000005093 / rank | |||
Normal rank | |||
Property / Related person | |||
Property / Related person: Presburger, Mojżesz / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: System aksjomatyczny / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Logika matematyczna / rank | |||
Normal rank | |||
Property / Type | |||
Property / Type: Unknown / rank | |||
Normal rank | |||
Property / Version | |||
P90250T71114 | |||
Property / Version: P90250T71114 / rank | |||
Normal rank |
Latest revision as of 02:36, 28 November 2023
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Arytmetyka Presburgera |
No description defined |
Statements
a1000000005093
0 references
P90250T71114
0 references