Ta witryna wymaga "ciasteczek" do poprawnego działania. Włącz ich obsługę w ustawieniach przeglądarki, aby móc kupować.
Zarejestruj się
Logowanie
Koszyk
(100)
Przechowalnia
(1)
Euro
Złoty Polski
Bestsellery
Oferta specjalna!
Dostawa
Płatność
Zwroty
Regulamin
Kontakt
Impressum
Kategorie
Zabawki
Puzzle
Gry planszowe
Szybka wysyłka
Promocje!
Albumy
Artykuly papiernicze
Audiobooki
Bajka i baśń
Biografie
Dla dzieci i młodzieży
Encyklopedie i leksykony
Ezoteryka
Fantastyka
Filmy
Historyczne
Horror, literatura grozy
Jan Paweł II
Kalendarze
Komiksy
Kryminały
Ksiązki po niemiecku
Książki kucharskie i diety
Legendy, podania, mity
Literatura erotyczna
Literatura faktu
Muzyka
Nauka i Naukowcy
Nauki Przyrodnicze
Naukowe i popularno-naukowe
Podręczniki szkolne
Poradniki
Religia i wiara
Romanse
Science-fiction
Sensacyjne i thrillery
Słowniki
Sport
Sztuka i fotografia
Technika
Wojskowość i wojny
Zdrowie i uroda
Newsletter
Subskrybuj:
Wyrażam zgodę na otrzymywanie oferty handlowej.
Więcej
To pole jest wymagane
Akceptuję
regulamin
To pole jest wymagane
Czekaj...
Home
/
Szybka wysyłka
/
Studies in the History of Mathematical Logic
Studies in the History of Mathematical Logic
-78%
Dostępny
Dostępne mniej niż 10 sztuk.
156,92 zł
35,30 zł
Dostawa Deutche Post
tylko 2€
.
Szybki kurier do 30kg tylko - 4€!
(
Sprawdź!
)
Ilość:
lub
Najniższa cena z ostatnich 30 dni: 36,86 zł
Pospiesz się!
Obecna cena jest korzystna. W tej cenie mamy ograniczoną liczbę egzemplarzy.
This volume contains seventeen essays in the history of modern mathematical logic. The first nine are concerned with the completeness of various logical calculi. The second five essays deal with the completeness of classical first-order predicate logic. One essay deals with the history of Cantor's definition of set, another with the set-theoretical reduction of the concept of relation, and a final essay is devoted to a survey of various meanings of the concept of completeness of formalized deductive theories. The essays were first presented in the national conferences of the Thematic Group for the History of Logic organized by the Department of Logic of the Polish Academy of Sciences in 1966-1971. The Advanced Reasoning Forum is pleased to make available this exact reprint of the original volume first published in 1973 by the Polish Academy of Sciences and the Department of Logic of Jagiellonian University, edited by Stanislaw J. Surma. * * * * The essays are: 1. Emil Post's doctoral dissertation (Stanislaw J. Surma); 2. A historical survey of the significant methods of proving post's theorem about the completeness of the classical propositional calculus (Stanislaw J. Surma); 3. A survey of the results and methods of investigations of the equivalential propositional calculus (Stanislaw J. Surma); 4. A uniform method of proof of the completeness theorem for the equivalential propositional calculus and for some of its extensions (Stanislaw J. Surma); 5. Kolmogorov and Glivenko's papers about intuitionistic logic (Jacek K. Kabzinski); 6. Jaskowski's matrix criterion for the intuitionistic propositional calculus (Stanislaw J. Surma); 7. Axiomatization of the implicational Gödel's matrices by Kalmar's method (Andrzej Wronski); 8. A contribution to the history of the investigations into the intermediate propositional calculi (Andrzej Wronski); 9. On Ackermann's rigorous implication (Jan Wolenski); 10. Kurt Gödel's doctoral dissertation (Jan Zygmunt); 11. A survey of the methods of proof of the Gödel-Malcev's completeness theorem (Jan Zygmunt); 12. The concept of the Lindenbaum algebra: its genesis (Stanislaw J. Surma); 13. On the old and new methods of interpreting quantifiers (Andrzej Wronski); 14. L. Rieger's logical achievement (Wladyslaw Szczech); 15. The development of Cantor's definition of set (Jerzy Perzanowski); 16. On the origins of the set-theoretical concept of relation (Piotr Kossowski); 17. A survey of various concepts of completeness of the deductive theories (Stanislaw J. Surma).
Książka Studies in the History of Mathematical Logic wysyłka Niemiecy od 2€. Wysyłka do Austrii i innych krajów - sprawdź na stronie
"dostawa"
Dane bibliograficzne / Bibliographische info
Rodzaj (nośnik)
/ Produkt-Typ
książka / Buch
Dział
/ Departement
Książki i czasopisma / Bücher und Zeitschriften
Redakcja
/ Editor
Surma Stanislaw
Tytuł
/ Titel
Studies in the History of Mathematical Logic
Język
/ Sprache
angielski
Wydawca
/ Herausgeber
Advanced Reasoning Forum
Rok wydania
/ Erscheinungsjahr
2015
Rodzaj oprawy
/ Deckelform
Miękka
Wymiary
/ Größe
19.1x23.5
Liczba stron
/ Seiten
290
Ciężar
/ Gewicht
0,52 kg
ISBN
9781938421266 (9781938421266)
EAN/UPC
9781938421266
Stan produktu
/ Zustand
Nowa książka - sprzedajemy wyłącznie nowe nieużywane książki.
Kategorie
Szybka wysyłka
Promocje!
Zapraszamy do zakupu tego produktu.