Elementarne wprowadzenie w logikę formalną / Małgorzata Porębska, Wojciech Suchoń.
Saved in:
| Main Author: | Porębska, Małgorzata |
|---|---|
| Other Authors: | Suchoń, Wojciech |
| Format: | Book |
| Language: | Polish |
| Published: |
Warszawa :
Państwowe Wydawnictwo Naukowe,
1991.
|
| Subjects: |
Similar Items
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego.
Published: (1987)
Published: (1987)
Logik / Horst Wessel.
by: Wessel, Horst (1936- ).
Published: (1989)
by: Wessel, Horst (1936- ).
Published: (1989)
Logik-Texte : kommentiere Auswahl zur Geschichte der moderner Logik / Karel Berka, Lothar Kreiser ; unter Mitarb. von Siegfried Gottwald und Werner Stelzner.
by: Berka, Karel (1923-2004)
Published: (1983)
by: Berka, Karel (1923-2004)
Published: (1983)
Mathematische Logik von 1847 bis zur Gegenwart : eine bibliometrische Untersuchung / Roland Wagner-Döbler und Jan Berg.
by: Wagner-Döbler, Roland
Published: (1993)
by: Wagner-Döbler, Roland
Published: (1993)
Wprowadzenie do logiki i teorii mnogości / Ludwik Borkowski.
by: Borkowski, Ludwik (1914-1993)
Published: (1991)
by: Borkowski, Ludwik (1914-1993)
Published: (1991)
Formalizm w logice współczesnej / Mihailo Marković ; [z jęz. serb.-chorw. tł. Branko Cirlić].
by: Marković, Mihailo (1923-2010)
Published: (1962)
by: Marković, Mihailo (1923-2010)
Published: (1962)
Podstawy logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu.
by: Batóg, Tadeusz (1934- ).
Published: (1994)
by: Batóg, Tadeusz (1934- ).
Published: (1994)
Zasady logiki / Tadeusz Batóg ; Uniwersytet im. Adama Mickiewicza w Poznaniu.
by: Batóg, Tadeusz (1934- ).
Published: (1977)
by: Batóg, Tadeusz (1934- ).
Published: (1977)
Studia logiczne : wybór / Ludwik Borkowski.
by: Borkowski, Ludwik (1914-1993)
Published: (1990)
by: Borkowski, Ludwik (1914-1993)
Published: (1990)
History of logic. Vol. 4 / Anton Dumitriu ; translated by Duiliu Zamfirescu, Dinu Giurcăneanu, Doina Doneaud.
by: Dumitriu, Anton (1905-1992)
Published: (1977)
by: Dumitriu, Anton (1905-1992)
Published: (1977)
Fundamentals of logic / James D. Carney, Richard K. Scheer.
by: Carney, James Donald
Published: (1980)
by: Carney, James Donald
Published: (1980)
Logical works / Mordchaj Wajsberg ; ed. by Stanisław J. Surma ; Polish Academy of Sciences. Institute of Philosophy and Sociology.
by: Wajsberg, Mordechaj (1902-ok. 1942)
Published: (1977)
by: Wajsberg, Mordechaj (1902-ok. 1942)
Published: (1977)
Jedynkowe systemy aksjomatyczne / Leon Gumański.
by: Gumański, Leon (1921-2014)
Published: (1964)
by: Gumański, Leon (1921-2014)
Published: (1964)
Logic Colloquium'81 : proceedings of the Herbrand Symposium held in Marseilles, France, July 1981 / ed. by J. Stern.
Published: (1982)
Published: (1982)
Essentials of symbolic logic / R. L. Simpson.
by: Simpson, R. L. (1934- ).
Published: (1988)
by: Simpson, R. L. (1934- ).
Published: (1988)
Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 / ed. by George Metakides.
Published: (1982)
Published: (1982)
Dictionary of logical terms and symbols / Carol Horn Greenstein.
by: Greenstein, Carol Horn
Published: (1978)
by: Greenstein, Carol Horn
Published: (1978)
Nove lezioni di logica simbolica / Innocenzo M. Bocheński.
by: Bocheński, Józef Maria (1902-1995)
Published: (1938)
by: Bocheński, Józef Maria (1902-1995)
Published: (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.
Published: (1979)
Published: (1979)
Wprowadzenie do logiki i do metodologii nauk dedukcyjnych / Alfred Tarski ; przełożyła Monika Sujczyńska.
by: Tarski, Alfred (1901-1983)
Published: (1994)
by: Tarski, Alfred (1901-1983)
Published: (1994)
Logiczne podstawy rozumowań II / pod red. Ludwika Kostro i Jana Przybyłowskiego.
Published: (1997)
Published: (1997)
Metody logiki : dedukcja / Andrzej Indrzejczak, Marek Nowak.
by: Indrzejczak, Andrzej (1964- ).
Published: (2016)
by: Indrzejczak, Andrzej (1964- ).
Published: (2016)
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.
by: Lakatos, Imre (1922-1974)
Published: (2005)
by: Lakatos, Imre (1922-1974)
Published: (2005)
Pisma semantyczne / Rudolf Carnap ; przeł. Tadeusz Ciecierski [et al.].
by: Carnap, Rudolf (1891-1970)
Published: (2007)
by: Carnap, Rudolf (1891-1970)
Published: (2007)
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.
Published: (1976)
Published: (1976)
Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski.
by: Słupecki, Jerzy (1904-1987)
Published: (1963)
by: Słupecki, Jerzy (1904-1987)
Published: (1963)
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.].
Published: (1982)
Published: (1982)
Quantum logic / Peter Mittelstaedt.
by: Mittelstaedt, Peter (1929-2014)
Published: (1978)
by: Mittelstaedt, Peter (1929-2014)
Published: (1978)
Matérialisme dialectique et logique / Pierre Raymond.
by: Raymond, Pierre (1942-2014)
Published: (1977)
by: Raymond, Pierre (1942-2014)
Published: (1977)
Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński.
by: Kotarbiński, Tadeusz (1886-1981)
Published: (1961)
by: Kotarbiński, Tadeusz (1886-1981)
Published: (1961)
Elementy teorii poznania, logiki formalnej i metodologii nauk / Tadeusz Kotarbiński.
by: Kotarbiński, Tadeusz (1886-1981)
Published: (1986)
by: Kotarbiński, Tadeusz (1886-1981)
Published: (1986)
Infinity and the mind : the science and philosophy of the infinite / by Rudy Rucker.
by: Rucker, Rudy v. B. (1946- ).
Published: (1995)
by: Rucker, Rudy v. B. (1946- ).
Published: (1995)
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.
Published: (1977)
Published: (1977)
Pisma semantyczne / Gottlob Frege ; z jęz. niem. przeł. oraz wstępem i przypisami opatrzył Bogusław Wolniewicz.
by: Frege, Gottlob (1848-1925)
Published: (1977)
by: Frege, Gottlob (1848-1925)
Published: (1977)
Myślini czyli Całokształt loiki narodowej. T. 2 / przez Bronisława Ferdynanda Trentowskiego.
by: Trentowski, Bronisław (1808-1869), et al.
Published: (1844)
by: Trentowski, Bronisław (1808-1869), et al.
Published: (1844)
The scientific world-perspective and other essays 1931-1963 / Kazimierz Ajdukiewicz ; ed. and with an introd. by Jerzy Giedymin.
by: Ajdukiewicz, Kazimierz (1890-1963)
Published: (1978)
by: Ajdukiewicz, Kazimierz (1890-1963)
Published: (1978)
Filozofia jako analiza języka nauki / Rudolf Carnap ; [tł. Andrzej Zabłudowski].
by: Carnap, Rudolf (1891-1970)
Published: (1969)
by: Carnap, Rudolf (1891-1970)
Published: (1969)
Słowo i przedmiot / Willard Van Orman Quine ; przełozył Cezary Cieśliński.
by: Quine, W. V. (1908-2000)
Published: (1999)
by: Quine, W. V. (1908-2000)
Published: (1999)
Język i poznanie. [1], Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz.
by: Ajdukiewicz, Kazimierz (1890-1963)
Published: (2006)
by: Ajdukiewicz, Kazimierz (1890-1963)
Published: (2006)
Język i poznanie. T. 1, Wybór pism z lat 1920-1939 / Kazimierz Ajdukiewicz.
by: Ajdukiewicz, Kazimierz (1890-1963)
Published: (1985)
by: Ajdukiewicz, Kazimierz (1890-1963)
Published: (1985)
Similar Items
-
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego.
Published: (1987) -
Logik / Horst Wessel.
by: Wessel, Horst (1936- ).
Published: (1989) -
Logik-Texte : kommentiere Auswahl zur Geschichte der moderner Logik / Karel Berka, Lothar Kreiser ; unter Mitarb. von Siegfried Gottwald und Werner Stelzner.
by: Berka, Karel (1923-2004)
Published: (1983) -
Mathematische Logik von 1847 bis zur Gegenwart : eine bibliometrische Untersuchung / Roland Wagner-Döbler und Jan Berg.
by: Wagner-Döbler, Roland
Published: (1993) -
Wprowadzenie do logiki i teorii mnogości / Ludwik Borkowski.
by: Borkowski, Ludwik (1914-1993)
Published: (1991)