Rachunek kwantyfikatorów (Q225487)

From wikibase-docker
Revision as of 13:07, 26 November 2023 by Lenny0face-bot (talk | contribs) (‎Changed an Item: Updating statements of entity ["Rachunek kwantyfikatorów" (pl)] with Lapacz)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
No description defined
  • Logika kwantyfikatorów
  • Logika predykatów
  • Rachunek predykatów
  • Predicate calculus
  • Predicate logic
edit
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

National Library Identifier
a0000003770765
0 references
Related Subject
Logika matematyczna
0 references
Kwantyfikator
0 references
Logika diachroniczna
0 references
Logika formalna
0 references
Logika niefregowska
0 references
Type
Unknown
0 references
Version
P40617T42614
0 references
 
Retrieved from "http://origanum-93.man.poznan.pl/w/index.php?title=Item:Q225487&oldid=5645868"