- 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 - Data publikacji:
- 2019
- Język:
- angielski
- Prawa:
-
Publikacja chroniona prawem autorskim - reprodukcja cyfrowa dostępna w czytelniach BN i na terminalach Academiki
http://www.europeana.eu/rights/rr-r/ - Źródło:
- Biblioteka Narodowa
- Dostawca treści:
- Academica
- Artykuł