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
Property / National Library Identifier
a0000002712803
 
Property / National Library Identifier: a0000002712803 / rank
Normal rank
 
Property / Related person
 
Property / Related person: Gentzen, Gerhard / rank
Normal rank
 
Property / Related Subject
 
Property / Related Subject: Automatyczne dowodzenie twierdzeń / rank
Normal rank
 
Property / Related Subject
 
Property / Related Subject: Logika matematyczna / rank
Normal rank
 
Property / Related Subject
 
Property / Related Subject: Logika substrukturalna / rank
Normal rank
 
Property / Type
 
Property / Type: Unknown / rank
Normal rank
 
Property / Version
P62287T79127
 
Property / Version: P62287T79127 / rank
Normal rank
 
Property / Version
 
Crone: Brewess
Property / Version: Crone: Brewess / rank
 
Normal rank

Cancel