Bibliografia
Beth E. W.,A topological proof of the theorem of Löwenheim-Skolem-Gödel “Ind. Math.”, Vol. XIII, 1951 (5).
Gödel K.,Die Vollständigkeit der Axiome des logischen Funktionenkalküls, “Mh. Math. Ph.”, Bd. 37, 1930.
Hilbert D., Bernays P.,Grundlagen der Mathematik, Bd. II, Springer, 1939.
Henkin L.,A proof of completeness for the first order functional calculus, “J. Symb. L”. 14, 1949.
Mostowski A.,Logika Matematyczna, “Monografie Mat.”, Warszawa 1948.
Rasiowa H., Sikorski R.,A proof of the completeness theorem of Gödel, “Fund. Math.”, 37, 1950.
Rasiowa H., Sikorski R.,A proof of the Skolem—Löwenheim theorem, “Fund. Math.”, 38, 1951.
Reichbach, J.Über den auf Alternative und Negation aufgebauten Aussagenkalkül, “Studia Logica”, T. 1.
Rieger L.,O szczotnych obobsczczennych σ-algebrach i nowom dokazatielstwie teoremy Gedela o połnotie, “Čas. pro Pest. Mat.”, T.1, 76, 1951.
Tarski A.,Pojęcie prawdy w językach nauk dedukcyjnych. Prace Towarzystwa Naukowego Warszawskiego, Wydział III, 1933.
Additional information
Pracę tę referowałem na seminarium prowadzonym przez prof dra Jerzego Słupeckiego, a następnie wyniki w niej zawarte przedstawiłem 5 grudnia 1952. r. na posiedzeniu Oddziału Wrocławskiego Polskiego Towarzystwa Matematycznego.
Allatum est die 10 Junii 1953
Rights and permissions
About this article
Cite this article
Reichbach, J. O Pełnosci węzszego rachunku funkcyjnego. Stud Logica 2, 213–228 (1955). https://doi.org/10.1007/BF02124774
Issue Date:
DOI: https://doi.org/10.1007/BF02124774