Polish Virtual Library of Science
Mathematical Collection
Send your comments on adress bwm@icm.edu.pl
|
|
Polish Virtual Library of ScienceMathematical Collection |
|
|
|
Send your comments on adress 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 |
| Home Page | Back |