Logiki wyższych rzędów (Q652507): Difference between revisions

From wikibase-docker
Jump to navigation Jump to search
(‎Created a new Item: Document Logiki wyższych rzędów added by Lapacz)
 
(‎Changed label, description and/or aliases in en, pl, and other parts: Updating entity Logiki wyższych rzędów with Lapacz)
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 / Version
 
Francesca Findabair
Property / Version: Francesca Findabair / rank
 
Normal rank

Revision as of 19:26, 20 September 2023

No description defined
  • Higher-order logic
  • Logika drugiego rzędu
  • Logika II rzędu
  • Logika wyższego rzędu
  • Second-order logic
Language Label Description Also known as
English
Logiki wyższych rzędów
No description defined
  • Higher-order logic
  • Logika drugiego rzędu
  • Logika II rzędu
  • Logika wyższego rzędu
  • Second-order logic

Statements

Francesca Findabair
0 references