- Tytuł:
- Inconsistent models (and infinite models) for arithmetics with constructible falsity
- Autorzy:
- Ferguson, Thomas Macaulay Autor
- Tematy:
-
Niesprzeczność
Logika parakonsystentna
Negacja
Matematyka konstruktywna
Arytmetyka Peano
Logika koneksywna
Modele matematyczne - Pokaż więcej
- Data publikacji:
- 2019
- Dostawca treści:
- Academica
Artykuł