Rachunek kwantyfikatorów (Q225487)

From wikibase-docker
Revision as of 20:47, 19 September 2023 by Lenny0face-bot (talk | contribs) (‎Changed label, description and/or aliases in en, pl, and other parts: Updating entity Rachunek kwantyfikatorów with Lapacz)
Jump to navigation Jump to search
No description defined
  • Logika kwantyfikatorów
  • Logika predykatów
  • Rachunek predykatów
  • Predicate calculus
  • Predicate logic
Language Label Description Also known as
English
Rachunek kwantyfikatorów
No description defined
  • Logika kwantyfikatorów
  • Logika predykatów
  • Rachunek predykatów
  • Predicate calculus
  • Predicate logic

Statements

Version
Azar Javed
0 references
 
Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q225487&oldid=2239395"