Okładka

kod QR

Wprowadzenie do logiki i do metodologii nauk dedukcyjnych / Alfred Tarski ; przełożyła Monika Sujczyńska.

Zapisane w:

Opis bibliograficzny
Autor:	Tarski, Alfred (1901-1983) (Autor)
Ciała zbiorowe:	PHILOMATH, Zakład Wydawniczy Fundacji na Rzecz Informatyki, Logiki i Matematyki (Wydawca), Uniwersytet Warszawski. Filia (Białystok) (Wydawca)
Pozostali autorzy:	Sujczyńska, Monika (Tłumacz)
Format:	Książka
Język:	polski angielski
Wydane:	Białystok : Filia Uniwersytetu Warszawskiego : PHILOMATH, 1994.
Seria:	Cogito 1
Hasła przedmiotowe:	Logika symboliczna i matematyczna. Dedukcja (logika). Matematyka > metodologia. Podstawy arytmetyki.

Podobne opisy

Metody logiki : dedukcja / Andrzej Indrzejczak, Marek Nowak.
od: Indrzejczak, Andrzej (1964- ).
Wydane: (2016)

Wprowadzenie do logiki i teorii mnogości / Ludwik Borkowski.
od: Borkowski, Ludwik (1914-1993)
Wydane: (1991)

Podstawy logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu.
od: Batóg, Tadeusz (1934- ).
Wydane: (1994)

Zasady logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu.
od: Batóg, Tadeusz (1934- ).
Wydane: (1977)

Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński.
od: Kotarbiński, Tadeusz (1886-1981)
Wydane: (1961)

Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński.
od: Kotarbiński, Tadeusz (1886-1981)
Wydane: (1986)

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.
od: Lakatos, Imre (1922-1974)
Wydane: (2005)

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.
Wydane: (1976)

Elementarne wprowadzenie w logikę formalną / Małgorzata Porębska, Wojciech Suchoń.
od: Porębska, Małgorzata
Wydane: (1991)

Pisma semantyczne / Gottlob Frege ; z jęz. niem. przeł. oraz wstępem i przypisami opatrzył Bogusław Wolniewicz.
od: Frege, Gottlob (1848-1925)
Wydane: (1977)

Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego.
Wydane: (1987)

Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski.
od: Słupecki, Jerzy (1904-1987)
Wydane: (1963)

Proceedings of the Fifth International Congress of Logic, Methodology and Philosophy of Science, London, Ontario, Canada, 1975. P. 1, Logic, foundations of mathematics, and computability theory / ed. by Robert E. Butts and Jaakko Hintikka.
Wydane: (1977)

History of logic. Vol. 4 / Anton Dumitriu ; translated by Duiliu Zamfirescu, Dinu Giurcăneanu, Doina Doneaud.
od: Dumitriu, Anton (1905-1992)
Wydane: (1977)

Fundamentals of logic / James D. Carney, Richard K. Scheer.
od: Carney, James Donald
Wydane: (1980)

Formalizm w logice współczesnej / Mihailo Marković ; [z jęz. serb.-chorw. tł. Branko Cirlić].
od: Marković, Mihailo (1923-2010)
Wydane: (1962)

Logical works / Mordchaj Wajsberg ; ed. by Stanisław J. Surma ; Polish Academy of Sciences. Institute of Philosophy and Sociology.
od: Wajsberg, Mordechaj (1902-ok. 1942)
Wydane: (1977)

Studia logiczne : wybór / Ludwik Borkowski.
od: Borkowski, Ludwik (1914-1993)
Wydane: (1990)

Myśl jak Sherlock Holmes / Maria Konnikova ; [tłumaczenie Manana Chyb].
od: Konnikova, Maria (1987- ).
Wydane: (2015)

Logik-Texte : kommentiere Auswahl zur Geschichte der moderner Logik / Karel Berka, Lothar Kreiser ; unter Mitarb. von Siegfried Gottwald und Werner Stelzner.
od: Berka, Karel (1923-2004)
Wydane: (1983)

Logiczne podstawy rozumowań II / pod red. Ludwika Kostro i Jana Przybyłowskiego.
Wydane: (1997)

Logic Colloquium'81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / ed. by J. Stern.
Wydane: (1982)

Jedynkowe systemy aksjomatyczne / Leon Gumański.
od: Gumański, Leon (1921-2014)
Wydane: (1964)

Essentials of symbolic logic / R. L. Simpson.
od: Simpson, R. L. (1934- ).
Wydane: (1988)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / ed. by George Metakides.
Wydane: (1982)

Dictionary of logical terms and symbols / Carol Horn Greenstein.
od: Greenstein, Carol Horn
Wydane: (1978)

Nove lezioni di logica simbolica / Innocenzo M. Bocheński.
od: Bocheński, Józef Maria (1902-1995)
Wydane: (1938)

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.
Wydane: (1979)

Logik / Horst Wessel.
od: Wessel, Horst (1936- ).
Wydane: (1989)

Mathematische Logik von 1847 bis zur Gegenwart : eine bibliometrische Untersuchung / Roland Wagner-Döbler und Jan Berg.
od: Wagner-Döbler, Roland
Wydane: (1993)

Pisma semantyczne / Rudolf Carnap ; przeł. Tadeusz Ciecierski [et al.].
od: Carnap, Rudolf (1891-1970)
Wydane: (2007)

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.].
Wydane: (1982)

Quantum logic / Peter Mittelstaedt.
od: Mittelstaedt, Peter (1929-2014)
Wydane: (1978)

Matérialisme dialectique et logique / Pierre Raymond.
od: Raymond, Pierre (1942-2014)
Wydane: (1977)

Elementy logiki matematycznej / Jan Łukasiewicz ; Polska Akademia Nauk. Instytut Filozofii i Socjologii - Zakład Logiki.
od: Łukasiewicz, Jan Leopold (1878-1956)
Wydane: (1958)

Infinity and the mind : the science and philosophy of the infinite / by Rudy Rucker.
od: Rucker, Rudy v. B. (1946- ).
Wydane: (1995)

Filozofia jako analiza języka nauki / Rudolf Carnap ; [tł. Andrzej Zabłudowski].
od: Carnap, Rudolf (1891-1970)
Wydane: (1969)

The scientific world-perspective and other essays 1931-1963 / Kazimierz Ajdukiewicz ; ed. and with an introd. by Jerzy Giedymin.
od: Ajdukiewicz, Kazimierz (1890-1963)
Wydane: (1978)

Myślini czyli Całokształt loiki narodowej. T. 2 / przez Bronisława Ferdynanda Trentowskiego.
od: Trentowski, Bronisław (1808-1869), i wsp.
Wydane: (1844)

Z historii logiki i filozofii matematyki / Roman Murawski.
od: Murawski, Roman (1949- ).
Wydane: (2019)