Restoring old revision of "Item:Q652507"

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 / 0aliases / en / 0
Higher-order logic
aliases / en / 1aliases / en / 1
Logika drugiego rzędu
aliases / en / 2aliases / en / 2
Logika II rzędu
aliases / en / 3aliases / en / 3
Logika wyższego rzędu
aliases / en / 4aliases / en / 4
Second-order logic
aliases / pl / 0aliases / pl / 0
Higher-order logic
aliases / pl / 1aliases / pl / 1
Logika drugiego rzędu
aliases / pl / 2aliases / pl / 2
Logika II rzędu
aliases / pl / 3aliases / pl / 3
Logika wyższego rzędu
aliases / pl / 4aliases / pl / 4
Second-order logic
Property / National Library Identifier
a0000003802245
 
Property / National Library Identifier: a0000003802245 / rank
Normal rank
 
Property / Related Subject
 
Property / Related Subject: Rachunek kwantyfikatorów / rank
Normal rank
 
Property / Related Subject
 
Property / Related Subject: Arytmetyka drugiego rzędu / rank
Normal rank
 
Property / Related Subject
 
Property / Related Subject: Logika pierwszego rzędu / rank
Normal rank
 
Property / Related Subject
 
Property / Related Subject: Teoria typów / rank
Normal rank
 
Property / Type
 
Property / Type: Unknown / rank
Normal rank
 
Property / Version
P37642T10439
 
Property / Version: P37642T10439 / rank
Normal rank
 

Cancel