Restoring old revision of "Item:Q1781161"
Jump to navigation
Jump to search
Warning: You are not logged in. Your IP address will be publicly visible if you make any edits. If you log in or create an account, your edits will be attributed to a username, among other benefits.
Latest revision | Your text | ||
| aliases / en / 0 | aliases / en / 0 | ||
| aliases / en / 1 | aliases / en / 1 | ||
| aliases / en / 2 | aliases / en / 2 | ||
| aliases / en / 3 | aliases / en / 3 | ||
| aliases / en / 4 | aliases / en / 4 | ||
| aliases / en / 5 | aliases / en / 5 | ||
| aliases / en / 6 | aliases / en / 6 | ||
| aliases / en / 7 | aliases / en / 7 | ||
| aliases / en / 8 | aliases / en / 8 | ||
| aliases / pl / 0 | aliases / pl / 0 | ||
| aliases / pl / 1 | aliases / pl / 1 | ||
| aliases / pl / 2 | aliases / pl / 2 | ||
| aliases / pl / 3 | aliases / pl / 3 | ||
| aliases / pl / 4 | aliases / pl / 4 | ||
| aliases / pl / 5 | aliases / pl / 5 | ||
| aliases / pl / 6 | aliases / pl / 6 | ||
| aliases / pl / 7 | aliases / pl / 7 | ||
| aliases / pl / 8 | aliases / pl / 8 | ||
| Property / National Library Identifier | |||
| Property / National Library Identifier: a0000002712803 / rank | |||
| Property / Related person | |||
| Property / Related person: Gentzen, Gerhard / rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Automatyczne dowodzenie twierdzeń / rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Logika matematyczna / rank | |||
| Property / Related Subject | |||
| Property / Related Subject: Logika substrukturalna / rank | |||
| Property / Type | |||
| Property / Type: Unknown / rank | |||
| Property / Version | |||
| Property / Version: P62287T79127 / rank | |||