Literatura cytowana

Literatura cytowana
Borkowski, Ludwik [1970]. Logika formalna. Systemy logiczne. Wst˛ep do metalogiki. PWN,
Warszawa.
Borkowski, Ludwik [1972]. Elementy logiki formalnej. PWN, Warszawa. [Liczne M inne wydania].
Beth, E. W. [1966]. Semantic Entailment and Formal Derivability. Noord-Hollandsche, Amsterdam.
Cantor, Georg [1932]. Gesammelte Abhandlungen mathematischen undM philosophischen Inhalts,
wyd. przez E. Zermelo, Berlin. 2gie wyd. Springer, Berlin.
ELF = Marciszewski (red.) [1987].
Frege, Gottlob [1879]. Begriffsschrift, eine der arithmetischen nachbildeteM Formalsprache des
reinen Denkens. Halle. 2gie wyd. (red. I. Angelelli) Georg Olms, Hildesheim 1964.
Gentzen. Gerhard [1934]. "Untersuchungen über das logische Schließen", Math. Zeitschrift
XXXIX, s. 176-210; c.d. w:] 1935, s. 405-431.
Gödel, Kurt [1931]. "Über formal unentscheibare Sätze der Principia Mathematica und verwandter
Systeme – I." Monatshefte für Mathematik und Physik, vol. 38, 1931, 173-198.
Grzegorczyk, Andrzej [1981]. Zarys logiki matematycznej, PWN, Warszawa. Wyd. 5.
Hilbert, David i W. Ackermann [1928] Grundzüge der theoretischen Logik, Springer, Berlin.
Hintikka, Jaakko [1955]. "Form and Content in Quantification Theory", Acta Philosophica Fennica
VIII, s. 7-55.
Jaśkowski, Stanisław [1934] On the Rules of Suppositions in Formal Logic, Seminarium Filozoficzne
Wydz. Mat. Przyr. UW, seria Studia Logica nr 1, Warszawa.
Łukasiewicz, Jan [1929] Elementy logiki matematycznej (skrypt wyd. w UW); 2 wyd. 1958, PWN,
Warszawa.
Marciszewski, Witold (red.) [1988]. Mała encyklopedia logiki, wyd. 2 rozszerzone, Ossolineum,
Wrocław ( 1sze wyd. 1970).
Marciszewski, Witold (red.). [1987]. Logika formalna. Zarys encyklopedyczny z zastosowaniem do
informatyki i lingwistyki, PWN, Warszawa.
MEL = Marciszewski (red.) [1988].
Mostowski, Andrzej [1948]. Logika matematyczna, Monografie Matematyczne, Warszawa.
Pogorzelski, Witold [1992] Elementarny słownik logiki formalnej, wyd. Filii UW, Białystok.
Słupecki, Jerzy i Ludwik Borkowski [1969]. Elementy logiki matematycznej i teoriiM mnogości,
PWN, Warszawa. Inne wydania: 1963, 1966, 1984.
Smullyan, R. M. [1968]. First-Order Logic, Springer, Berlin.
Tarski, Alfred [1933]. Poj˛ecie prawdy w j˛ezykach nauk dedukcyjnych, Tow. Naukowe Warszawskie,
Warszawa.
Turing, A. [1936]. "On computable numbers, with an application to the Entscheidungsproblem",
Proc. of the London Math. Society, Series 2, vol. 42, 230-265.
Turing A. [1950]. "Computing machinery and intelligence", Mind vol. 59, 433-460.