- Tytuł:
-
Teoria zbiorów dziedzicznie skończonych jako przykład zastosowania języka logiki pierwszego rzędu
The theory of hereditarily finite sets as an example of an application of the first order logic language - Autorzy:
- Czubin, Adrianna
- Słowa kluczowe:
-
logika matematyczna, logika pierwszego rzędu, aksjomaty, dowód formalny, zbiory dziedzicznie skończone, aksjomaty teorii mnogości
mathematical logic, first order logic, axioms, formal proof, hereditarily finite sets, set theory axioms - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego
Inne