23787
Book
In basket
Availability:
Wypożyczalnia
There are copies available to loan: sygn. 1 (1 egz.)
Czytelnia
Copies are only available in the library: sygn. 1 (1 egz.)
Notes:
General note
Indeks
Bibliography, etc. note
Bibliografia
Formatted contents note
1. Rodowód logiki i jej współczesna problematyka; 2. Elementy logicznej teorii języka; 3. Logika tradycyjna (sylogistyka Arystotelesa); 4. Postawy klasycznego rachunku zadań; 5. Tautologiczność, wynikanie logiczne i sprzeczność semantyczna; 6. Zasady dedukcji naturalnej klasycznego rachunku zadań; 7. Pełność systemu złożeniowego; 8. Rachunek kwantyfikatorów; 9. Metody semantyczne rachunku kwantyfikatorów; 10. Modyfikacje i rozszerzenia rachunku logicznego; 11. Definicje i problemy definiowania; 12. Procedury wprowadzania ładu pojęciowego; 13. Logika indukcji; 14. Teoria mnogości; 15. Zarys dziejów logiki nowoczesnej
Reviews:
The item has been added to the basket. If you don't know what the basket is for, click here for details.
Do not show it again