Dedukcja naturalna (Q1238845): Difference between revisions
Jump to navigation
Jump to search
(Created a new Item: Document Dedukcja naturalna added by Lapacz) |
(Changed an Item: Updating statements of entity ["Dedukcja naturalna" (pl)] with Lapacz) |
||
| (One intermediate revision by the same user not shown) | |||
| aliases / en / 0 | aliases / en / 0 | ||
Natural deduction | |||
| aliases / pl / 0 | aliases / pl / 0 | ||
Natural deduction | |||
| Property / National Library Identifier | |||
a0000003654195 | |||
| Property / National Library Identifier: a0000003654195 / rank | |||
Normal rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Dowodzenie (logika) / rank | |||
Normal rank | |||
| Property / Type | |||
| Property / Type: Unknown / rank | |||
Normal rank | |||
| Property / Version | |||
P92637T29423 | |||
| Property / Version: P92637T29423 / rank | |||
Normal rank | |||
Latest revision as of 05:42, 12 December 2023
No description defined
- Natural deduction
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dedukcja naturalna |
No description defined |
|
Statements
a0000003654195
0 references
P92637T29423
0 references