Teoria typów (Q652541): Difference between revisions
Jump to navigation
Jump to search
(Changed an Item: Updating statements of entity ["Teoria typów" (pl), "Teoria typów" (en)] with Lapacz) |
(Changed an Item: Updating statements of entity ["Teoria typów" (pl)] with Lapacz) |
||
Property / P4 (Deleted Property) | |||
Property / P4 (Deleted Property): Logika matematyczna Property P4 not found, cannot determine the data type to use. / rank | |||
Property / Type | |||
Property / Type: Unknown / rank | |||
Property / Version | |||
Property / Version: Thaler / rank | |||
Property / National Library Identifier | |||
a0000003802237 | |||
Property / National Library Identifier: a0000003802237 / rank | |||
Normal rank | |||
Property / Related person | |||
Property / Related person: Russell, Bertrand / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Logika matematyczna / rank | |||
Normal rank | |||
Property / Related Subject | |||
Property / Related Subject: Logiki wyższych rzędów / rank | |||
Normal rank | |||
Property / Type | |||
Property / Type: Unknown / rank | |||
Normal rank | |||
Property / Version | |||
P10192T39258 | |||
Property / Version: P10192T39258 / rank | |||
Normal rank |
Latest revision as of 23:40, 28 November 2023
No description defined
- Type theory
- Typów, teoria
Language | Label | Description | Also known as |
---|---|---|---|
English | Teoria typów |
No description defined |
|
Statements
a0000003802237
0 references
P10192T39258
0 references