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

From wikibase-docker
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
edit
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

a0000003802245
0 references
0 references
P37642T10439
0 references