Logiki wyższych rzędów (Q652507)

From wikibase-docker
Revision as of 19:26, 20 September 2023 by Lenny0face-bot (talk | contribs) (‎Changed label, description and/or aliases in en, pl, and other parts: Updating entity Logiki wyższych rzędów with Lapacz)
Jump to navigation Jump to search
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

Version
Francesca Findabair
0 references
 
Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q652507&oldid=2763929"