Polska Biblioteka Wirtualna Nauki
Kolekcja Matematyczna
Prosimy o przesyłanie uwag na adres bwm@icm.edu.pl
|
|
Polska Biblioteka Wirtualna NaukiKolekcja Matematyczna |
|
|
|
Prosimy o przesyłanie uwag na adres bwm@icm.edu.pl
|
|||
Logika matematyczna
Andrzej Mostowski
Warszawa - Wrocław 1948
| CZĘŚĆ I | 1. Wiadomości wstępne 2. Rachunek zdań 3. Kwantyfikatory |
|
| CZĘŚĆ II | 4. Algebra zbiorów i relacji 5. Równość 6. Teoria relacji 7. Liczby naturalne. Izomorfizm 8. Teoria typów logicznych |
|
| CZĘŚĆ III | 9. Sformalizowane teorie matematyczne 10. Definicje 11. Zagadnienia metodologiczne 12. O meta-matematyce 13. Zagadnienia pełności reguł wnioskowania 14. Twierdzenie Gödla |
|
| Materiały redakcyjne | Przedmowa, errata, skorowidz znaków, skorowidz nazw, skorowidz nazwisk, spis rzeczy |
| Strona główna | Powrót |