Зображення обкладинки

QR код

Metalogika / Alfred Tarski ; wybrał, przeł., red. nauk. dokonał, przypisami opatrzył i wstępem poprzedził Jan Zygmunt.

Збережено в:

Бібліографічні деталі
Автор:	Tarski, Alfred (1901-1983)
Інші автори:	Zygmunt, Jan (Oprac.)
Формат:	Книга
Мова:	Польська Англійська
Опубліковано:	Warszawa : Wydawnictwo Naukowe PWN, 2001.
Серія:	Tarski, Alfred (1901-1983). Pisma logiczno-filozoficzne t. 2 Biblioteka Współczesnych Filozofów
Предмети:	Tarski, Alfred > (1901-1983) > bibliografia. Logika symboliczna i matematyczna. Metamatematyka.

Схожі ресурси

Collected papers. Vol. 3, 1945-1957 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie eds.
за авторством: Tarski, Alfred (1901-1983)
Опубліковано: (1986)

Collected papers. Vol. 1, 1921-1934 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie eds.
за авторством: Tarski, Alfred (1901-1983)
Опубліковано: (1986)

Collected papers. Vol. 4, 1958-1979 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie eds.
за авторством: Tarski, Alfred (1901-1983)
Опубліковано: (1986)

Collected papers. Vol. 2, 1935-1944 / Alfred Tarski ; Steven R. Givant and Ralph N. McKenzie editors.
за авторством: Tarski, Alfred (1901-1983)
Опубліковано: (1986)

Prawda / Alfred Tarski ; wybrał, przeł., red. nauk. dokonał, wstępem i przypisami opatrzył Jan Zygmunt ; bibliografię A. Tarskiego oprac. Steven Givant, uzup. Jan Zygmunt.
за авторством: Tarski, Alfred (1901-1983)
Опубліковано: (1995)

Wprowadzenie do logiki i do metodologii nauk dedukcyjnych / Alfred Tarski ; przełożyła Monika Sujczyńska.
за авторством: Tarski, Alfred (1901-1983)
Опубліковано: (1994)

Alfred Tarski : życie i logika / Anita Burdman Feferman, Solomon Feferman ; tł. Joanna Golińska-Pilarek i Marian Srebrny.
за авторством: Feferman, Anita Burdman (1927-2015)
Опубліковано: (2009)

Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego.
Опубліковано: (1987)

Fundamentals of logic / James D. Carney, Richard K. Scheer.
за авторством: Carney, James Donald
Опубліковано: (1980)

Formalizm w logice współczesnej / Mihailo Marković ; [z jęz. serb.-chorw. tł. Branko Cirlić].
за авторством: Marković, Mihailo (1923-2010)
Опубліковано: (1962)

Studia logiczne : wybór / Ludwik Borkowski.
за авторством: Borkowski, Ludwik (1914-1993)
Опубліковано: (1990)

Nove lezioni di logica simbolica / Innocenzo M. Bocheński.
за авторством: Bocheński, Józef Maria (1902-1995)
Опубліковано: (1938)

Essentials of symbolic logic / R. L. Simpson.
за авторством: Simpson, R. L. (1934- ).
Опубліковано: (1988)

Jedynkowe systemy aksjomatyczne / Leon Gumański.
за авторством: Gumański, Leon (1921-2014)
Опубліковано: (1964)

Logik / Horst Wessel.
за авторством: Wessel, Horst (1936- ).
Опубліковано: (1989)

Metody logiki : dedukcja / Andrzej Indrzejczak, Marek Nowak.
за авторством: Indrzejczak, Andrzej (1964- ).
Опубліковано: (2016)

Logik-Texte : kommentiere Auswahl zur Geschichte der moderner Logik / Karel Berka, Lothar Kreiser ; unter Mitarb. von Siegfried Gottwald und Werner Stelzner.
за авторством: Berka, Karel (1923-2004)
Опубліковано: (1983)

Logiczne podstawy rozumowań II / pod red. Ludwika Kostro i Jana Przybyłowskiego.
Опубліковано: (1997)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / ed. by George Metakides.
Опубліковано: (1982)

Pisma semantyczne / Rudolf Carnap ; przeł. Tadeusz Ciecierski [et al.].
за авторством: Carnap, Rudolf (1891-1970)
Опубліковано: (2007)

Essays on mathematical and philosophical logic : proceedings of the Fourth Scandinavian Logic Symposium and of the First Soviet-Finnish Logic Conference, Jyväskylä, Finland, June 29-July 6, 1976 / ed. by Jaakko Hintikka, Ilkka Niiniluoto, and Esa Saarinen.
Опубліковано: (1979)

Logic Colloquium'81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / ed. by J. Stern.
Опубліковано: (1982)

History of logic. Vol. 4 / Anton Dumitriu ; translated by Duiliu Zamfirescu, Dinu Giurcăneanu, Doina Doneaud.
за авторством: Dumitriu, Anton (1905-1992)
Опубліковано: (1977)

Zasady logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu.
за авторством: Batóg, Tadeusz (1934- ).
Опубліковано: (1977)

Elementarne wprowadzenie w logikę formalną / Małgorzata Porębska, Wojciech Suchoń.
за авторством: Porębska, Małgorzata
Опубліковано: (1991)

Mathematische Logik von 1847 bis zur Gegenwart : eine bibliometrische Untersuchung / Roland Wagner-Döbler und Jan Berg.
за авторством: Wagner-Döbler, Roland
Опубліковано: (1993)

Dictionary of logical terms and symbols / Carol Horn Greenstein.
за авторством: Greenstein, Carol Horn
Опубліковано: (1978)

Dowody i refutacje : logika odkrycia matematycznego / Imre Lakatos ; tł. Michał Kozłowski i Katarzyna Lipszyc ; wstęp do wyd. polskiego Wacław Zawadowski ; dod. do wyd. polskiego Jan Baranowski.
за авторством: Lakatos, Imre (1922-1974)
Опубліковано: (2005)

Quantum logic / Peter Mittelstaedt.
за авторством: Mittelstaedt, Peter (1929-2014)
Опубліковано: (1978)

Matérialisme dialectique et logique / Pierre Raymond.
за авторством: Raymond, Pierre (1942-2014)
Опубліковано: (1977)

Formal methods in the methodology of empiricial sciences : proceedings of the Conference for Formal Methods in the Methodology of Empirical Sciences, Warsaw, June 17-21, 1974 / ed. by Marian Przełęcki, Klemens Szaniawski and Ryszard Wójcicki ; assoc. ed. Grzegorz Malinowski.
Опубліковано: (1976)

Pisma semantyczne / Gottlob Frege ; z jęz. niem. przeł. oraz wstępem i przypisami opatrzył Bogusław Wolniewicz.
за авторством: Frege, Gottlob (1848-1925)
Опубліковано: (1977)

Infinity and the mind : the science and philosophy of the infinite / by Rudy Rucker.
за авторством: Rucker, Rudy v. B. (1946- ).
Опубліковано: (1995)

Podstawy logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu.
за авторством: Batóg, Tadeusz (1934- ).
Опубліковано: (1994)

Logical works / Mordchaj Wajsberg ; ed. by Stanisław J. Surma ; Polish Academy of Sciences. Institute of Philosophy and Sociology.
за авторством: Wajsberg, Mordechaj (1902-ok. 1942)
Опубліковано: (1977)

The scientific world-perspective and other essays 1931-1963 / Kazimierz Ajdukiewicz ; ed. and with an introd. by Jerzy Giedymin.
за авторством: Ajdukiewicz, Kazimierz (1890-1963)
Опубліковано: (1978)

Metamatematyka a epistemologia / Jan Woleński.
за авторством: Woleński, Jan (1940- ).
Опубліковано: (1993)

Słowo i przedmiot / Willard Van Orman Quine ; przełozył Cezary Cieśliński.
за авторством: Quine, W. V. (1908-2000)
Опубліковано: (1999)

Język i poznanie. [1], Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz.
за авторством: Ajdukiewicz, Kazimierz (1890-1963)
Опубліковано: (2006)

Logic : methodology and philosophy of science VI : proceedings of the sixth International Congress of Logic, Methodology and Philosophy of Science, Hannover, 1979 / edit. by L. J. Cohen [et al.].
Опубліковано: (1982)