Temat: Logika symboliczna i matematyczna. - Katalog Bibliotek Uniwersytetu Śląskiego i Uniwersytetu Ekonomicznego w Katowicach

Skocz do pozycji 1.

Tytuł pełny:: Aksjomatyzowalność pewnych wariantów rachunku typów synktatycznych Lambeka jako systemów redukcyjnych / Wojciech Zielonka
Wydawca:: Olsztyn : Wydawnictwo Uniwersytetu Warmińsko-Mazurskiego
Rok wydania:: 2012
Seria:: Rozprawy i Monografie / Uniwersytet Warmińsko-Mazurski w Olsztynie = Dissertations and Monographs / University of Warmia and Mazury in Olsztyn, 1509-3018 ; 176
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 2.

Tytuł pełny:: Proceduralny model języka : językoznawstwo z pozycji teorii modeli nauk empirycznych / Dorota Zielińska
Wydawca:: Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego
Rok wydania:: 2007
Temat:: Językoznawstwo kognitywne.
Językoznawstwo - metodologia.
Modele matematyczne.
Modele lingwistyczne.
Lingwistyka matematyczna.
Komunikacja.
Językoznawstwo porównawcze.
Język angielski - przymiotniki.
Język polski - przymiotniki.
Język polski - semantyka.
Język angielski - semantyka.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 3.

Tytuł pełny:: Simmetričeskaâ konstruktivnaâ logika / I. D. Zaslavskij
Wydawca:: Erevan : Izdatel'stvo Akademii Nauk Armânskoj SSR
Rok wydania:: 1978
Temat:: Logika symboliczna i matematyczna.
Matematyka konstruktywna.

Książka

na półce

Szczegóły

Skocz do pozycji 4.

Tytuł pełny:: Logiki nihilistyczne, czyli Teorie prawd "powierzchownych" i "głębokich" / Eugeniusz Żabski
Wydawca:: Wrocław : Oficyna Wydawnicza Politechniki Wrocławskiej
Rok wydania:: 2001
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 5.

Tytuł pełny:: Prawda, fałsz i hipoteza : o pewnych nieklasycznych logikach i ich zastosowaniach / Eugeniusz Żabski
Wydawca:: Wrocław : Oficyna Wydawnicza Arboretum
Rok wydania:: 2022
Temat:: Logika.
Logika matematyczna nieklasyczna.
Paradoks.
Antynomia.

Książka

na półce

Szczegóły

Skocz do pozycji 6.

Tytuł pełny:: Proceedings of the conference "Algebra and logic", Cetinje 1986 / [ed. Zoran Stojaković] ; Institute of Mathematics. University of Novi Sad
Wydawca:: Novi Sad : Institute of Mathematics
Rok wydania:: 1987
Temat:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 7.

Tytuł pełny:: Proceedings of the conference "Algebra and logic", Sarajevo 1987 / [ed. Siniša Crvenković] ; Institute of Mathematics University of Novi Sad
Wydawca:: Novi Sad : Institute of Mathematics University of Novi Sad
Rok wydania:: 1989
Temat:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.
Logika - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 8.

Tytuł pełny:: Proceedings of the Conference "Algebra and Logic", Zagreb 1984 / [ed. Zoran Stojaković] ; Institute of Mathematics. University of Novi Sad
Wydawca:: Novi Sad : Institute of Mathematics
Rok wydania:: 1985
Temat:: Algebra - konferencje.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 9.

Tytuł pełny:: Recursive function theory and logic / Ann Yasuhara
Wydawca:: New York ; London : Academic Press
Rok wydania:: cop. 1971
Seria:: Computer Science and Applied Mathematics : a series of monographs and textbooks
Temat:: Funkcje rekursywne.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 10.

Tytuł pełny:: Teoria nauk formalnych według Jana Łukasiewicza / Juliusz Wyznakiewicz
Wydawca:: Toruń : Adam Marszałek
Rok wydania:: 2001
Temat:: Łukasiewicz, Jan Leopold (1878-1956) - krytyka i interpretacja.
Łukasiewicz, Jan Leopold (1878-1956) - wkład do filozofii nauki.
Logika symboliczna i matematyczna - historia.
Matematyka - filozofia.
Filozofia logiki - 20 w.
Matematyka - filozofia - 20 w.
Twierdzenie Gödla.

Książka

na półce

Szczegóły

Skocz do pozycji 11.

Tytuł pełny:: Identyczność a równoważność w związku z negacją klasyczną / Wacława Wolińska-Kielak
Wydawca:: Siedlce
Rok wydania:: 1978
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Negacja (logika).
Logika symboliczna i matematyczna.
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Skocz do pozycji 12.

Tytuł pełny:: Wzajemna interpretowalność rachunków zdaniowych: zarys teorii / Piotr Wojtylak
Wydawca:: Katowice
Rok wydania:: 1977
Temat:: Uniwersytet Śląski (Katowice) - rozprawy akademickie.
Rachunek zdań.
Logika symboliczna i matematyczna.
Gatunek / Forma:: Rozprawy akademickie.

Rękopis (manuskrypt)

na półce

Szczegóły

Skocz do pozycji 13.

Tytuł pełny:: O pojęciu dowodu w matematyce / Krzysztof Wójtowicz ; Fundacja na Rzecz Nauki Polskiej
Wydawca:: Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Rok wydania:: 2012
Seria:: Monografie FNP
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.
Dowód (filozofia).
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 14.

Tytuł pełny:: Elementy logiki i teorii mnogości / Agnieszka Wojciechowska
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1979
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 15.

Tytuł pełny:: The Big Typescript TS 213 : (fragmenty) / Ludwig Wittgenstein ; wybór, przekład, wstęp Piotr Dehnel
Wydawca:: Wrocław : Wydawnictwo Naukowe Dolnośląskiej Szkoły Wyższej
Rok wydania:: copyright © 2019
Seria:: Seria Wittgensteinowska
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 16.

Tytuł pełny:: Philosophische Bemerkungen / Ludwig Wittgenstein ; aus dem Nachlaß herausgegeben von Rush Rhees
Wydawca:: Frankfurt am Main : Suhrkamp
Wydanie:: 3. Auflage
Rok wydania:: 1989
Seria:: Suhrkamp Taschenbuch Wissenschaft ; 502
Werkausgabe / Ludwig Wittgenstein ; Bd. 2
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 17.

Tytuł pełny:: Philosophische Grammatik / Ludwig Wittgenstein ; hrsg. von Rush Rhees
Wydawca:: Frankfurt am Main : Suhrkamp Verlag
Wydanie:: 4. Aufl
Rok wydania:: 1991
Seria:: Suhrkamp Taschenbuch Wissenschaft ; 504
Werkausgabe / Ludwig Wittgenstein ; Bd. 4
Temat:: Gramatyka porównawcza i ogólna.
Logika symboliczna i matematyczna.
Wnioskowanie.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 18.

Tytuł pełny:: Tractatus logico-philosophicus / by Ludwig Wittgenstein ; with an introd. by Bertrand Russell
Wydawca:: London : Kegan Paul, Trench, Trubner ; New York : Harcourt, Brace
Wydanie:: Repr
Rok wydania:: 1933
Seria:: International Library of Psychology, Philosophy and Scientific Method
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 19.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 5, 1 dodr
Rok wydania:: 2006
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka (filozofia).
Logika symboliczna i matematyczna.
Filozofia języka.

Książka

na półce

Szczegóły

Skocz do pozycji 20.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 5
Rok wydania:: 2004
Seria:: Biblioteka Klasyków Filozofii
Temat:: Semantyka (filozofia).
Filozofia języka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 21.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przeł.ożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 4
Rok wydania:: 2002
Seria:: Biblioteka Klasyków Filozofii
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Semantyka (filozofia).
Filozofia języka.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 22.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył Bogusław Wolniewicz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1970
Seria:: Biblioteka Klasyków Filozofii
Temat:: Filozofia języka.
Logika symboliczna i matematyczna.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 23.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 3
Rok wydania:: 2000
Seria:: Biblioteka Klasyków Filozofii
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Logika symboliczna i matematyczna.
Filozofia języka.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 24.

Tytuł pełny:: Tractatus logico-philosophicus / Ludwig Wittgenstein ; przełożył i wstępem opatrzył Bogusław Wolniewicz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2 popr
Rok wydania:: 1997
Seria:: Biblioteka Klasyków Filozofii
Temat:: Wittgenstein, Ludwig (1889-1951). Tractatus logico-philosophicus
Logika symboliczna i matematyczna.
Filozofia języka.
Semantyka (filozofia).

Książka

na półce

Szczegóły

Skocz do pozycji 25.

Tytuł pełny:: Logic and discrete mathematics : a concise introduction / Willem Conradie, Valentin Goranko
Wydawca:: Chichester : John Wiley and Sons
Rok wydania:: cop. 2015
Temat:: Logika symboliczna i matematyczna - podręczniki.
Informatyka - matematyka - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 26.

Tytuł pełny:: Introduction to the foundations of mathematics / Raymond L. Wilder
Wydawca:: New York : John Wiley & Sons, Inc. ; London : Chapman & Hall, Lim
Wydanie:: 2nd print
Rok wydania:: 1956
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 27.

Tytuł pełny:: Introduction to the foundations of mathematics / Raymond L. Wilder
Wydawca:: New York : John Wiley & Sons, Inc. ; London : Chapman & Hall, Ltd
Wydanie:: 3rd print
Rok wydania:: [1958?]
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 28.

Tytuł pełny:: Principia mathematica : to *56 / by Alfred North Whitehead and Bertrand Russel
Wydawca:: Cambridge: Cambridge University Press
Wydanie:: Repr
Rok wydania:: 1967
Temat:: Logika symboliczna i matematyczna.
Matematyka - filozofia.

Książka

na półce

Szczegóły

Skocz do pozycji 29.

Tytuł pełny:: Principia mathematica : to *56 / by Alfred North Whitehead and Bertrand Russell
Wydawca:: Cambridge : The University Press
Rok wydania:: 1962
Temat:: Matematyka - filozofia.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 30.

Tytuł pełny:: Principia mathematica to * 56 / by Alfred North Whitehead and Bertrand Russell
Wydawca:: Cambridge : Cambridge University Press
Wydanie:: 3rd ed
Rok wydania:: 1997
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 31.

Tytuł pełny:: Logik / Horst Wessel
Wydawca:: Berlin : VEB Deutscher Verlag der Wissenschaften
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna.
Logika.

Książka

na półce

Szczegóły

Skocz do pozycji 32.

Tytuł pełny:: Introduction to mathematical logic / Michał Walicki
Wydawca:: New Jersey [etc.] : World Scientific
Rok wydania:: cop. 2012
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 33.

Tytuł pełny:: Logical works / Mordchaj Wajsberg ; ed. by Stanisław J. Surma ; Polish Academy of Sciences. Institute of Philosophy and Sociology
Wydawca:: Wrocław [etc.] : Zakład Narodowy im. Ossolińskich - Wydawnictwo Polskiej Akademii Nauk
Rok wydania:: 1977
Temat:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 34.

Tytuł pełny:: Èlementy matematičeskoj logiki i teorii množestv / R. T. Vol'vačev
Wydawca:: Minsk : Izdat. "Universitetskoe"
Rok wydania:: 1986
Temat:: Logika matematyczna nieklasyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 35.

Tytuł pełny:: Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej w Krakowie
Wydawca:: Kraków : Wydaw. Naukowe WSP
Rok wydania:: 1974
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 36.

Tytuł pełny:: Logiczny wstęp do matematyki / Stefan Turnau ; Wyższa Szkoła Pedagogiczna im. Komisji Edukacji Narodowej w Krakowie
Wydawca:: Kraków : Wydawnictwo Naukowe WSP
Wydanie:: Wyd. 2, popr
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 37.

Tytuł pełny:: Observation equivalence of labelled event structures / Dao Tri Tue
Wydawca:: Warsaw : IPI. PAN
Rok wydania:: 1988
Seria:: Prace IPI PAN = ICS PAS Reports / Instytut Podstaw Informatyki Polskiej Akademii Nauk, 0138-0648 ; 632
Temat:: Grafy losowe.
Algebra.
Projektowanie baz danych.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 38.

Tytuł pełny:: Logika i teoria mnogości : ujęcie systematyczno-historyczne / Kazimierz Trzęsicki
Wydawca:: Warszawa : Akademicka Oficyna Wydawnicza EXIT
Rok wydania:: 2003
Seria:: Problemy Współczesnej Nauki i Techniki. Informatyka
Temat:: Logika - podręczniki.
Teoria zbiorów - podręczniki.
Logika - zastosowania naukowe.
Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 39.

Tytuł pełny:: Lectures on linear logic / A.S. Troelstra
Wydawca:: Stanford : Center for the Study of Language and Information
Rok wydania:: cop. 1992
Seria:: CSLI Lecture Notes ; No. 29
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 40.

Tytuł pełny:: Myślini czyli Całokształt loiki narodowej. T. 2 / przez Bronisława Ferdynanda Trentowskiego
Wydawca:: Poznań : nakładem autora u N. Kamieńskiego i Spółki
Rok wydania:: 1844
Temat:: Filozofia - Polska - 19 w.
Nauka - filozofia - 19 w.
Teoria poznania - 19 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 41.

Tytuł pełny:: Lectures in logic and set theory. Vol. 1, Mathematical logic / George Tourlakis
Wydawca:: Cambridge [etc.] : Cambridge University Press
Wydanie:: 1 paperback ed. 2010
Rok wydania:: cop. 2010
Seria:: Cambridge Studies in Advanced Mathematics ; 82
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 42.

Tytuł pełny:: Lectures in logic and set theory. Vol. 2, Set theory / George Tourlakis
Wydawca:: Cambridge [etc.] : Cambridge University Press
Rok wydania:: cop. 2003
Seria:: Cambridge Studies in Advanced Mathematics ; 83
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 43.

Tytuł pełny:: Mathematical logic / George Tourlakis
Wydawca:: Hoboken : A John Wiley & Sons
Rok wydania:: cop. 2008
Temat:: Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 44.

Tytuł pełny:: Tableau systems for first order number theory and certain higher order theories / Sue Toledo
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1975
Seria:: Lecture Notes in Mathematics, 0075-8434 ; 447
Temat:: Logika symboliczna i matematyczna.
Teoria dowodu.
Rachunek kwantyfikatorów.
Teoria liczb.

Książka

na półce

Szczegóły

Skocz do pozycji 45.

Tytuł pełny:: Essays in matrix semantics of relevant logics / Marek Tokarz ; The Polish Academy of Sciences. Institute of Philosophy and Sociology
Wydawca:: Warszawa : The Institute of Philosophy and Sociology of the Polish Academy of Sciences
Rok wydania:: 1980
Temat:: Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 46.

Tytuł pełny:: A logic-driven analysis of the decision making process / Tomasz Terlikowski
Wydawca:: Warszawa : Wydawnictwo Uniwersytetu Kardynała Stefana Wyszyńskiego
Rok wydania:: 2012
Temat:: Podejmowanie decyzji - modele matematyczne.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 47.

Tytuł pełny:: Mathematische und transzendentale Identität : philosophische Untersuchungen über der Identitätsbegriff der mathematischen Logik sowie bei Schelling und Hegel / von Bernhard Taureck
Wydawca:: Wien ; München : R. Oldenbourg Verlag
Rok wydania:: 1973
Seria:: Überlieferung und Aufgabe: Abhandlungen zur Geschichte und Systematik der europäischen Philosophie ; 11
Temat:: Hegel, Georg Wilhelm Friedrich (1770-1831) - wkład do matematyki.
Schelling, Friedrich Wilhelm Joseph von (1775-1854) - wkład do matematyki.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 48.

Tytuł pełny:: Einführung in die mathematische Logik / Alfred Tarski ; übers. von Erhard Scheibe
Wydawca:: Göttingen : Vandenhoeck & Ruprecht
Wydanie:: 3. Aufl
Rok wydania:: 1969
Seria:: Moderne Mathematik in elementarer Darstellung ; 5
Temat:: Matematyka - filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 49.

Tytuł pełny:: A formalization of set theory without variables / by Alfred Tarski and Steven Givant
Wydawca:: Providence : American Mathematical Society
Rok wydania:: cop. 1987
Seria:: Colloquium Publications / American Mathematical Society, 0065-9258 ; vol. 41
Temat:: Teoria zbiorów.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 50.

Tytuł pełny:: Introduction a la logique / par Alfred Tarski ; traduit de l'anglais par Jacques Tremblay S. J
Wydawca:: Paris : Gauthier-Villars ; Louvain : E. Nauwelaerts
Wydanie:: 2e éd. rev. et augm
Rok wydania:: 1969
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février ; 16
Temat:: Matematyka - filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 51.

Tytuł pełny:: Introduction à la logique / par Alfred Tarski ; traduit de l'anglais par J. Tremblay
Wydawca:: Paris : Gauthier-Villars
Wydanie:: 3e édition revue
Rok wydania:: 1971
Seria:: Collection de Logique Mathématique. Serie A, Monographies Réunies par Mme P. Février ; n°. 16
Temat:: Matematyka - filozofia - 20 w.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 52.

Tytuł pełny:: Logic, semantics, metamathematics : papers from 1923 to 1938 / by Alfred Tarski ; transl. by J. H. Woodger
Wydawca:: Oxford : Clarendon Press
Rok wydania:: cop. 1956
Temat:: Metamatematyka - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 53.

Tytuł pełny:: Metalogika / Alfred Tarski ; wybrał, przeł., red. nauk. dokonał, przypisami opatrzył i wstępem poprzedził Jan Zygmunt
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Rok wydania:: 2001
Seria:: Biblioteka Współczesnych Filozofów
Temat:: Tarski, Alfred (1901-1983) - bibliografia.
Logika symboliczna i matematyczna.
Metamatematyka.

Książka

na półce

Szczegóły

Skocz do pozycji 54.

Tytuł pełny:: O logice matematycznej i metodzie dedukcyjnej / Alfred Tarski
Wydawca:: Lwów ; Warszawa : Książnica Atlas
Rok wydania:: [ca 1937]
Seria:: Biblioteczka Matematyczna ; 3-4-5
Temat:: Logika symboliczna i matematyczna.
Dedukcja (logika).
Matematyka - metodologia.
Podstawy arytmetyki.

Książka

na półce

Szczegóły

Skocz do pozycji 55.

Tytuł pełny:: Pojęcie prawdy w językach nauk dedukcyjnych / Alfred Tarski
Wydawca:: Warszawa : nakładem Towarzystwa Naukowego Warszawskiego, z zasiłku Ministerstwa Wyznań Religijnych i Oświecenia Publicznego, (Warszawa : Dziewulski)
Rok wydania:: 1933
Seria:: Prace Towarzystwa Naukowego Warszawskiego. Wydział III: Nauk Matematyczno-Fizycznych ; nr 34
Temat:: Prawda.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 56.

Tytuł pełny:: Wprowadzenie do logiki i do metodologii nauk dedukcyjnych / Alfred Tarski ; przełożyła Monika Sujczyńska
Wydawca:: Białystok : Filia Uniwersytetu Warszawskiego : PHILOMATH
Rok wydania:: 1994
Seria:: Cogito ; 1
Temat:: Logika symboliczna i matematyczna.
Dedukcja (logika).
Matematyka - metodologia.
Podstawy arytmetyki.

Książka

na półce

Szczegóły

Skocz do pozycji 57.

Tytuł pełny:: Two applications of logic to mathematics / by Gaisi Takeuti
Wydawca:: [Tokyo] : Iwanami Shoten ; [Princeton] : Princeton University Press
Rok wydania:: 1978
Seria:: Publications of the Mathematical Society of Japan ; 13
Kanô Memorial Lectures ; 3
Temat:: Logika symboliczna i matematyczna.
Algebra Boole'a.

Książka

na półce

Szczegóły

Skocz do pozycji 58.

Tytuł pełny:: Finite sets and Gödel's incompleteness theorems / S. Świerczkowski ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : IM PAN
Rok wydania:: 2003
Seria:: Dissertationes Mathematicae, 0012-3862 ; 422
Temat:: Gödel, Kurt (1906-1978) - wkład do filozofii matematyki.
Logika symboliczna i matematyczna.
Twierdzenie Gödla.
Aksjomatyczna teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 59.

Tytuł pełny:: Wykłady z logiki formalnej. Cz. 1, Wstęp do zagadnień logiki, elementy teorii mnogości / Roman Suszko
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1965
Temat:: Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 60.

Tytuł pełny:: First course in mathematical logic / Patrick Suppes, Shirley Hill
Wydawca:: New York ; Toronto ; London : Blaisdell Publishing Company
Rok wydania:: copyright © 1964
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 61.

Tytuł pełny:: Introduction to logic / by Patrick Suppes
Wydawca:: Princeton, New Jersey [etc.] : D. van Nostrand Company, Inc
Wydanie:: 4th print
Rok wydania:: 1960
Seria:: University Series in Undergraduate Mathematics
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 62.

Tytuł pełny:: Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / ed. by M.H. Löb
Wydawca:: Berlin [etc.] : Springer
Rok wydania:: 1968
Seria:: Lecture Notes in Mathematics ; 70
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 63.

Tytuł pełny:: Teoretyczne problemy logiki praktycznej / Wojciech Suchoń
Wydawca:: Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego
Rok wydania:: 2008
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 64.

Tytuł pełny:: Èlementarnoe vvedenie v matematiičeskuû logiku : posobie dlâ učitelej / A. A. Stolâr
Wydawca:: Moskva : Izd-vo Prosveŝenie
Rok wydania:: 1965
Temat:: Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 65.

Tytuł pełny:: The foundations of mathematics / Ian Stewart and David Tall
Wydawca:: Oxford ; New York : Oxford University Press
Rok wydania:: 1977
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 66.

Tytuł pełny:: Podstawy matematyki / Ian Stewart, David Tall ; przełożyli Urszula i Mariusz Seweryńscy
Wydawca:: Warszawa : Prószyński Media
Rok wydania:: 2017
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 67.

Tytuł pełny:: Mathematical logic : with special reference to the natural numbers / S. W. P. Steen
Wydawca:: London ; New York : Cambridge University Press
Rok wydania:: 1972
Temat:: Logika symboliczna i matematyczna.
Liczby naturalne.

Książka

na półce

Szczegóły

Skocz do pozycji 68.

Tytuł pełny:: Mathematical logic with special reference to the natural numbers / S. W. P. Steen
Wydawca:: New York : Cambridge University Press
Rok wydania:: 2008
Temat:: Logika symboliczna i matematyczna.
Liczby naturalne.

Książka

na półce

Szczegóły

Skocz do pozycji 69.

Tytuł pełny:: Formirovanie matematičeskoj logiki / N. I. Stâžkin ; Akademiâ nauk SSSR
Wydawca:: Moskva : Izdatel'stvo "Nauka"
Rok wydania:: 1967
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 70.

Tytuł pełny:: Stanovlenie idej matematičeskoj logiki / N. I. Stâžkin ; Akademia Nauk SSSR. Institut Filosofii
Wydawca:: Moskva : Izdatel'stvo Nauka
Rok wydania:: 1964
Temat:: Logika symboliczna i matematyczna.
Logika symboliczna i matematyczna - historia.

Książka

na półce

Szczegóły

Skocz do pozycji 71.

Tytuł pełny:: Ćwiczenia z logiki / Barbara Stanosz
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wydanie dziewiąte
Rok wydania:: 1998
Temat:: Logika - zadania i ćwiczenia.
Język i logika - zadania i ćwiczenia.
Logika symboliczna i matematyczna - zadania i ćwiczenia.

Książka

na półce

Szczegóły

Skocz do pozycji 72.

Tytuł pełny:: Wprowadzenie do logiki formalnej : podręcznik dla humanistów / Barbara Stanosz
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1985
Temat:: Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 73.

Tytuł pełny:: Równość, podobieństwo, porządek / J. A. Szrejder ; z języka rosyjskiego przełożyła Maria Semeniuk-Polkowska
Wydawca:: Warszawa : Wydawnictwa Naukowo-Techniczne
Wydanie:: Wydanie I
Rok wydania:: 1975
Temat:: Logika matematyczna nieklasyczna.
Lingwistyka matematyczna.
Logika symboliczna i matematyczna.
Teoria grafów.

Książka

na półce

Szczegóły

Skocz do pozycji 74.

Tytuł pełny:: Laws of form / G. Spencer Brown
Wydawca:: London : George Allen and Unwin
Rok wydania:: 1969
Temat:: Logika symboliczna i matematyczna.
Matematyka - miscellanea.

Książka

na półce

Szczegóły

Skocz do pozycji 75.

Tytuł pełny:: A beginner's further guide to mathematical logic / Raymond Smullyan
Wydawca:: Singapore [et al.] : World Scientific
Rok wydania:: cop. 2017
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 76.

Tytuł pełny:: An introduction to Gödel's theorems / Peter Smith
Wydawca:: Cambridge : University Press
Rok wydania:: 2007
Seria:: Cambridge Introductions to Philosophy
Temat:: Gödel, Kurt (1906-1978).
Twierdzenie Gödla.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 77.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wyd. 3. popr
Rok wydania:: 1969
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna.
Teoria zbiorów.

Książka

na półce

Szczegóły

Skocz do pozycji 78.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydaw. Naukowe
Wydanie:: Wyd. 2 popr. i uzup
Rok wydania:: 1966
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 79.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie I
Rok wydania:: 1963
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 80.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Ludwik Borkowski
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:: Wydanie czwarte
Rok wydania:: 1984
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 81.

Tytuł pełny:: Elementy logiki matematycznej i teorii mnogości / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Opole : Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich
Rok wydania:: 1974
Seria:: Wydawnictwa Skryptowe / Wyższa Szkoła Pedagogiczna im. Powstańców Śląskich w Opolu
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Teoria zbiorów - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 82.

Tytuł pełny:: Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:: 1978
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 83.

Tytuł pełny:: Logika i teoria mnogości : podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Warszawa : Wydawnictwa Naukowe PWN
Wydanie:: Wyd. 2 popr
Rok wydania:: 1994
Temat:: Teoria zbiorów - podręczniki akademickie.
Logika - podręczniki akademickie.
Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 84.

Tytuł pełny:: Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka ; Opolskie Towarzystwo Przyjaciół Nauk
Wydawca:: Warszawa ; Wrocław : Państwowe Wydaw. Naukowe
Rok wydania:: 1976
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.
Logika matematyczna
Matematyka
Gatunek / Forma:: Książki
Publikacje dydaktyczne
Podręcznik
Praca zbiorowa

Książka

na półce

Szczegóły

Skocz do pozycji 85.

Tytuł pełny:: Logika matematyczna / Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka
Wydawca:: Warszawa : Wydawnictwo Naukowe PWN
Wydanie:: Wyd. 2 popr. i uzup
Rok wydania:: 1999
Temat:: Logika symboliczna i matematyczna - podręczniki akademickie.

Książka

na półce

Szczegóły

Skocz do pozycji 86.

Tytuł pełny:: Teorja dowodu. T. 2 / [Jan Sleszyński] ; podług wykładów uniwersyteckich prof. dr. Jana Sleszyńskiego oprac. S. K. Zaremba
Wydawca:: Kraków : nakładem Kółka Matematyczno-Fizycznego U. U. J
Rok wydania:: 1929
Seria:: Wykłady uniwersyteckie / Jan Sleszyński ; t. 2
Temat:: Logika matematyczna nieklasyczna.
Teoria dowodu.

Książka

na półce

Szczegóły

Skocz do pozycji 87.

Tytuł pełny:: Teorja dowodu. T. 1 / [Jan Sleszyński] ; podług wykładów uniwersyteckich prof. dr. Jana Sleszyńskiego oprac. S. K. Zaremba
Wydawca:: Kraków : nakładem Kółka Matematyczno-Fizycznego U. U. J., ([Kraków] : Drukarnia Uniwersytetu Jagiellońskiego pod zarządem Józefa Filipowskiego)
Rok wydania:: 1925
Seria:: Wykłady uniwersyteckie / Jan Sleszyński ; t. 1
Temat:: Teoria dowodu.
Logika starożytna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 88.

Tytuł pełny:: Elementy teorii mnogości, logiki i teorii zbiorów przybliżonych / Marek Sikora, Beata Sikora
Wydawca:: Gliwice : Wydawnictwo Politechniki Śląskiej
Rok wydania:: 2019
Temat:: Teoria zbiorów - podręczniki.
Logika symboliczna i matematyczna - podręczniki.

Książka

na półce

Szczegóły

Skocz do pozycji 89.

Tytuł pełny:: Degrees of unsolvability / Joseph R. Shoenfield
Wydawca:: Amsterdam ; London : North-Holland Publishing Company ; New York : American Elsevier
Rok wydania:: 1971
Seria:: North-Holland Mathematics Studies ; 2
Temat:: Logika symboliczna i matematyczna.
Funkcje rekursywne.
Nierozwiązalność (logika matematyczna).

Książka

na półce

Szczegóły

Skocz do pozycji 90.

Tytuł pełny:: Matematičeskaâ logika / Dž. Šenfild ; perevod s anglijskogo I. A. Lavrova i I. A. Mal'ceva ; pod redakciej Û. L. Eršova
Wydawca:: Moskva : Izdatel'stvo "Nauka" Glavnaâ Redakciâ Fiziko-Matematičeskoj Literatury
Rok wydania:: 1975
Seria:: Matematičeskaâ Logika i Osnovaniâ Matematiki
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 91.

Tytuł pełny:: Mathematical logic / by Joseph R. Shoenfield
Wydawca:: Natick, Mass. : Association for Symbolic Logic : A K Peters
Rok wydania:: [2001]
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 92.

Tytuł pełny:: Mathematical logic / Joseph R. Shoenfield
Wydawca:: Reading : Addison-Wesley Publishing Company
Rok wydania:: cop. 1967
Seria:: Addison-Wesley Series in Logic
Temat:: Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 93.

Tytuł pełny:: Heuristische Prinzipien und logische Kalküle / O. F. Serebrjannikov ; [übersetzung Günter Rieske]
Wydawca:: Berlin : VEB Deutscher Verlag der Wissenschaften
Rok wydania:: 1974
Temat:: Logika symboliczna i matematyczna.
Heurystyka.

Książka

na półce

Szczegóły

Skocz do pozycji 94.

Tytuł pełny:: Vollständige Systeme modaler und intuitionistischer Logik / Kurt Schütte
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1968
Seria:: Ergebnisse der Mathematik und ihrer Grenzgebiete ; Bd. 42
Temat:: Logika symboliczna i matematyczna.
Modalność (logika).
Logika intuicjonistyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 95.

Tytuł pełny:: Unconventional logics in decision making / Andrew Schumann
Wydawca:: Rzeszów : University of Information Technology and Management in Rzeszów
Rok wydania:: 2014
Temat:: Rachunek ekonomiczny.
Podejmowanie decyzji.
Algebra Boole'a.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 96.

Tytuł pełny:: Mathematische Gesetze der Logik. 1, Vorlesungen über Aussagenlogik / von H. Arnold Schmidt
Wydawca:: Berlin [etc.] : Springer-Verlag
Rok wydania:: 1960
Seria:: Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 69
Temat:: Logika symboliczna i matematyczna.
Logika matematyczna nieklasyczna.

Książka

na półce

Szczegóły

Skocz do pozycji 97.

Tytuł pełny:: 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
Wydawca:: Dordacht : D. Reidel Publishing
Rok wydania:: cop. 1979
Seria:: Synthese Library ; vol. 122
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 98.

Tytuł pełny:: Proceedings of the second Scandinavian Logic Symposium / ed. by J. E. Fenstad
Wydawca:: Amsterdam ; London : North-Holland Publishing Company
Rok wydania:: cop. 1971
Seria:: Studies in Logic and the Foundations of Mathematics ; vol. 63
Temat:: Logika symboliczna i matematyczna - konferencje.

Książka

na półce

Szczegóły

Skocz do pozycji 99.

Tytuł pełny:: Subalgebras of diagonalizable algebras of theories containing arithmetic / V. Yu. Shavrukov ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:: Warszawa : Instytut Matematyczny PAN
Rok wydania:: 1993
Seria:: Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 323
Temat:: Logika symboliczna i matematyczna.
Modalność (logika).

Książka

na półce

Szczegóły

Skocz do pozycji 100.

Tytuł pełny:: Geometričeskie priloženiâ algebry logiki / V. L. Rvačev
Wydawca:: Kiev : Tehnika
Rok wydania:: 1967
Temat:: Geometria analityczna.
Algebra.
Analiza matematyczna.
Logika symboliczna i matematyczna.

Książka

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Logika symboliczna i matematyczna." wg kryterium: Temat

Źródło danych

Położenie

Lokalizacja

Autor

Temat

Rok publikacji

Język

Kraj

Typ dokumentu