Polish Virtual Library of Science

    Mathematical Collection




 

 Send your comments on adress bwm@icm.edu.pl

     Monografie Matematyczne    

Volume 18

Logika matematyczna

Andrzej Mostowski

Warszawa - Wrocław 1948

Contents

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