Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Ukraiński (UK)
Przejdź do strony domowej biblioteki Biblioteki  UŚ  i  UE  w  Katowicach Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaBiblioteki  UŚ  i  UE  w  Katowicach
Nowości Rankingi Rezerwacja kabin Zaproponuj zakup Aplikacja mobilna

Wyszukujesz frazę "Logika." wg kryterium: Temat

  Lista filtrów
Położenie
Pokaż wszystkie »
Pokaż wszystkie »
Pokaż wszystkie »
Pokaż wszystkie »
Pokaż wszystkie »
Pokaż wszystkie »
Wyrównaj
Wyświetlanie 1-100 z 3185
propozycja biblioteki
Tytuł pełny:
The method of Socratic proofs for normal modal propositional logics / Dorota Leszczyńska
Wydawca:
Poznań : Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza
Rok wydania:
2007
Seria:
Seria Filozofia i Logika / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0083-4246 ; nr 101
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logic / Nick Earle
Wydawca:
London : Macmillan
Rok wydania:
1973
Seria:
Introductory monographs in mathematics
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Temporal logic of programs / Fred Kröger
Wydawca:
Berlin ; New York : Springer-Verlag
Rok wydania:
1987
Seria:
EATCS Monographs on Theoretical Computer Science, 1431-2646 ; vol. 8
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Time and modality / by A. N. Prior
Wydawca:
Westport : Greenwood Press, Publishers
Rok wydania:
1979
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logik / Horst Wessel
Wydawca:
Berlin : VEB Deutscher Verlag der Wissenschaften
Rok wydania:
1984
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Zagadnienie sprowadzalności w antyredukcjonistycznych teoriach pytań / Piotr Leśniewski
Wydawca:
Poznań : Wydawnictwo Naukowe IF UAM
Rok wydania:
1997
Seria:
Wydawnictwo Naukowe Instytutu Filozofii / Uniwersytet im. Adama Mickiewicza w Poznaniu ; t. 43
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Natural deduction : a proof-theoretical study / Dag Prawitz
Wydawca:
Stockholm [etc.] : Almqvist & Wiksell
Rok wydania:
1965
Seria:
Acta Universitatis Stockholmiensis. Stockholm Studies in Philosophy ; 3
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Neklassičeskaâ logika / otv. red. P. V. Tavanec ; Akademiâ nauk SSSR. Institut filosofii
Wydawca:
Moskva : Izdatel'stvo "Nauka"
Rok wydania:
1970
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logika formalna : zarys encyklopedyczny z zastosowaniem do informatyki i lingwistyki / pod redakcją Witolda Marciszewskiego
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:
Wydanie pierwsze
Rok wydania:
1987
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
A first course in fuzzy logic / Hung T. Nguyen, Elbert A. Walker
Wydawca:
Boca Raton [etc.] : Chapman & Hall/CRC
Wydanie:
2nd ed
Rok wydania:
cop. 2000
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Przedmiot logiki formalnej oraz jej stosowalność / Stanisław Kiczuk ; Katolicki Uniwersytet Lubelski. Wydział Filozofii
Wydawca:
Lublin : Redakcja Wydawnictw KUL
Rok wydania:
2001
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Elementy logiki matematycznej / Jan Łukasiewicz ; Polska Akademia Nauk. Instytut Filozofii i Socjologii - Zakład Logiki
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:
Wyd. 2
Rok wydania:
1958
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logic in computer science / ed. Zoran Ognjanović
Wydawca:
Beograd : Matematički institut SANU
Rok wydania:
2009
Seria:
Zbornik Radova - Matematički Institut ; 12 (20)
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Filozofia logiki / Willard Van Orman Quine ; przeł. Barbara Stanosz
Wydawca:
Warszawa : "Aletheia"
Rok wydania:
2002
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Studia logiczne : wybór / Ludwik Borkowski
Wydawca:
Lublin : TN KUL
Rok wydania:
1990
Seria:
Rozprawy Wydziału Filozoficznego / Towarzystwo Naukowe Katolickiego Uniwersytetu Lubelskiego ; 51
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
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
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
From a logical point of view : 9 logico-philosophical essays / Willard Van Orman Quine
Wydawca:
Cambridge ; London : Harvard University
Wydanie:
2nd ed., revised
Rok wydania:
1980
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Assumptions of grand logics / by James K. Feibleman
Wydawca:
Hague : Martinus Nijhoff
Rok wydania:
1979
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Predykacja, negacja i kwantyfikacja / Eugeniusz Wojciechowski
Wydawca:
Kraków : Aureus
Rok wydania:
2019
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
New thinking about propositions / Jeffrey C. King, Scott Soames, Jeff Speaks
Wydawca:
Oxford : Oxford University Press
Wydanie:
1st published in paperback
Rok wydania:
2016
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logik-Texte : kommentiere Auswahl zur Geschichte der moderner Logik / Karel Berka, Lothar Kreiser
Wydawca:
Berlin : Akademie-Verlag
Wydanie:
2. durchges. Aufl
Rok wydania:
1973
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logic, philosophy and computer science : second special issue / ed. by Dariusz Surowik, Robert Milewski ; under the auspices of the Polish Association for Logic and Philosophy of Science
Wydawca:
Bialystok : University of Bialystok
Rok wydania:
2012
Seria:
Studies in Logic, Grammar and Rhetoric, 0860-150X ; 30 (43)
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack
Wydawca:
New York [etc.] : Springer-Verlag
Rok wydania:
cop. 1975
Seria:
Graduate Texts in Mathematics ; 22
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Formale Logik / von I. M. Bocheński
Wydawca:
Freiburg ; München : Karl Alber
Rok wydania:
cop. 1956
Seria:
Orbis Academicus : Problemgeschichten der Wissenschaft in Dokumenten und Darstellungen ; Bd. 3/2
Gatunek / Forma:
Książki
Podręcznik
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Formale Logik / J.M. Bocheński
Wydawca:
Freiburg [im Breisgau] ; München : K. Alber
Wydanie:
4. Aufl
Rok wydania:
1978
Seria:
Orbis Academicus : Problemgeschichten der Wissenschaft in Dokumenten und Darstellungen ; Bd. 3
Gatunek / Forma:
Książki
Podręcznik
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logika temporalna : wybrane zagadnienia / Kazimierz Trzęsicki
Wydawca:
Białystok : Wydawnictwo Uniwersytetu
Rok wydania:
2008
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logic for mathematicians / J. Barkley Rosser
Wydawca:
New York [etc.] : McGraw-Hill Book Company
Rok wydania:
cop. 1953
Seria:
International Series in Pure and Applied Mathematics
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Mathematical logic / J. Donald Monk
Wydawca:
New York : Springer-Verlag
Rok wydania:
1976
Seria:
Graduate Texts in Mathematics, 0072-5285 ; 37
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Vvedenie v matematičeskuû logiku / E. Mendel'son ; per. s angl. F. A. Kabakova ; pod red. S. I. Adâna
Wydawca:
Moskva: Nauka
Wydanie:
Izd. 3-e
Rok wydania:
1984
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
First course in mathematical logic / Patrick Suppes, Shirley Hill
Wydawca:
New York ; Toronto ; London : Blaisdell Publishing Company
Rok wydania:
copyright © 1964
Książka
Szczegóły
propozycja biblioteki
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
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
On invariant, dual invariant and absolute formulas / A. Mostowski ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1962
Seria:
Rozprawy Matematyczne ; 29
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
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
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Intensional and higher-order modal logic : with applications to Montague semantics / Daniel Gallin
Wydawca:
Amsterdam ; Oxford : North-Holland Publishing Company; New York: American Elsevier Publishing Company
Rok wydania:
1975
Seria:
North-Holland Mathematics Studies, 0304-0208 ; 19
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Philosophy of logic / Hilary Putnam
Wydawca:
London : George Allen & Unwin
Rok wydania:
1972
Seria:
Essays in Philosophy
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Zarys logiki matematycznej / Andrzej Grzegorczyk
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Wydanie:
Wyd. 4
Rok wydania:
1975
Seria:
Biblioteka Matematyczna, 0519-8356 ; t. 20
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Wnioskowanie w logikach nieklasycznych : podstawy teoretyczne / Leonard Bolc [et al.]
Wydawca:
Warszawa : Akademicka Oficyna Wydawnicza PLJ
Rok wydania:
1995
Seria:
Problemy Współczesnej Nauki : teoria i zastosowanie. Informatyka
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Papers on logic and rationality : Festschrift in honour of Andrzej Grzegorczyk / ed. by Kazimierz Trzęsicki, Stanisław Krajewski, Jan Woleński
Wydawca:
Bialystok : University of Bialystok
Rok wydania:
2012
Seria:
Studies in Logic, Grammar and Rhetoric, 0860-150X ; 27 (40)
Gatunek / Forma:
Książki
Publikacja okolicznościowa
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logic, philosophy and computer science / ed. by Dariusz Surowik ; under the auspices of the Polish Association for Logic and Philosophy of Science
Wydawca:
Białystok : University of Białystok
Rok wydania:
2010
Seria:
Studies in Logic, Grammar and Rhetoric, 0860-150X ; 22 (35)
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logic in algebraic form : three languages and theories / William Craig
Wydawca:
Amsterdam [etc.] : North-Holland
Rok wydania:
1974
Seria:
Studies in Logic and the Foundations of Mathematics ; vol. 72
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logika matematyczna. Cz. 1, Algebra logiki (zarys dziejów) / Stanisław Kaczorowski
Wydawca:
Łódź : Księgarnia Naukowa
Wydanie:
Wyd. 2
Rok wydania:
1946
Seria:
Licealna Biblioteczka Filozoficzna ; t. 6
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Osobliwość logiki intuicjonistycznej / Bożena Czernecka-Rej ; Katolicki Uniwersytet Lubelski Jana Pawła II. Wydział Filozofii. Katedra Logiki
Wydawca:
Lublin : Wydawnictwo KUL
Rok wydania:
2014
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Treatise on consequences / John Buridan ; translated and with an introduction by Stephen Read ; Editorial introduction by Hubert Hubien
Wydawca:
New York : Fordham University Press
Rok wydania:
2015
Seria:
Medieval Philosophy
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Issues of decidability and tractability / guest ed.: Witold Marciszewski ; University of Białystok
Wydawca:
Białystok : Wydawnictwo Uniwersytetu w Białymstoku
Rok wydania:
2006
Seria:
Studies in Logic, Grammar and Rhetoric, 0860-150X ; 9 (22)
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Wissenschaflicher Briefwechsel / Gottlob Frege ; Herausgegeben, bearbeitet, eingeleitet und mit Anmerkungen versehen von Gottfried Gabriel, Hans Hermes, Friedrich Kambartel, Christian Thiel, Albert Veraart
Wydawca:
Hamburg : Felix Meiner Verlag
Rok wydania:
[2013]
Seria:
Nachgelassene Schriften und Wissenschaftlicher Briefwechsel / Gottlob Frege ; Bd. 2
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logika formalna : systemy logiczne : wstęp do metalogiki / Ludwik Borkowski
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1970
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
A beginner's further guide to mathematical logic / Raymond Smullyan
Wydawca:
Singapore [et al.] : World Scientific
Rok wydania:
cop. 2017
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Z zagadnień logiki i filozofii : pisma wybrane / Jan Łukasiewicz ; wyboru dokonał, wstępem i przypisami opatrzył Jerzy Słupecki
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1961
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Modal logic with descriptions / by Imre Ruzsa
Wydawca:
Budapest : Akadémiai Kiadó
Rok wydania:
1981
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Matematičeskaâ logika / R. L. Gudstejn ; perev. s angl. V. S. Černâvskogo ; pod red. S. A. Ânovskoj
Wydawca:
Moskva : Izd. Inostrannoj Literatury
Rok wydania:
1961
Seria:
Biblioteka Sbornika "Matematika"
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Introduction to mathematical logic / Hans Hermes, transl. from German by Diana Schmidt
Wydawca:
Berlin [etc.] : Springer-Verlag
Rok wydania:
1973
Seria:
Universitext - Springer-Verlag
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Vvedenie v matematčeskuû logiku / È. Mendel'son ; per. s angl. F. A. Kabakova ; pod red. S. I. Adâna
Wydawca:
Moskva : Nauka
Wydanie:
Izd. 2-e, ispravlennoe
Rok wydania:
1976
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Abstract logics / D. J. Brown and R. Suszko. Classical abstract logics / S. L. Bloom and D. J. Brown ; Polska Akademia Nauk. Instytut Matematyczny
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1973
Seria:
Dissertationes Mathematicae = Rozprawy Matematyczne, 0012-3862 ; 102
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Handbook of mathematical logic / ed. by Jon Barwise ; with the cooperation of H. J. Keisler [et al]
Wydawca:
Amsterdam : North-Holland
Rok wydania:
1977
Seria:
Studies in Logic and the Foundations of Mathematics ; vol. 90
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Mass terms and model-theoretic semantics / Harry C. Bunt
Wydawca:
Cambridge : Cambridge University Press
Rok wydania:
1985
Seria:
Cambridge Studies in Linguistics, 0068-676X ; 42
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logika a czas i zmiana / Józef Wajszczyk
Wydawca:
Olsztyn : Wydaw. WSP
Rok wydania:
1995
Seria:
Studia i Materiały WSP w Olsztynie, 0860-7273 ; nr 82
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
The mathematics of logic : a guide to completeness theorems and their appplications / Richard Kaye
Wydawca:
Cambridge : University Press
Rok wydania:
2007
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logic in computer science II / editor: Silvia Ghilezan
Wydawca:
Beograd : Matematički Institut SANU
Rok wydania:
2015
Seria:
Zbornik Radova ; 18 (26)
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Philosophical problems in logic : some recent developments / ed. by Karel Lambert
Wydawca:
Dordrecht : D. Reidel Publishing Company
Rok wydania:
cop. 1970
Seria:
Synthese Library : monographs on epistemology, logic, methodology, philosophy of science, sociology of science and of knowledge, and on the mathematical methods of social and behavioral sciences
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Unification types in logic / Wojciech Dzik
Wydawca:
Katowice : Wydawnictwo Uniwersytetu Śląskiego
Rok wydania:
2007
Seria:
Prace Naukowe Uniwersytetu Śląskiego w Katowicach, 0208-6336 ; nr 2554
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logiczne teorie obowiązku warunkowego / Kazimierz Świrydowicz
Wydawca:
Poznań : Wydaw. Naukowe UAM
Rok wydania:
1995
Seria:
Filozofia i Logika / Uniwersytet im. Adama Mickiewicza w Poznaniu, 0083-4246 ; nr 75
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Teoretyczne problemy logiki praktycznej / Wojciech Suchoń
Wydawca:
Kraków : Wydawnictwo Uniwersytetu Jagiellońskiego
Rok wydania:
2008
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Aristotle's modal syllogistic / Marco Malink
Wydawca:
Cambridge ; London : Harvard University Press
Rok wydania:
2013
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logiczne podstawy rozumowań II / pod red. Ludwika Kostro i Jana Przybyłowskiego
Wydawca:
Gdańsk : Wydawnictwo Uniwersytetu Gdańskiego
Rok wydania:
1997
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Die Sprache und die archaische Logik / von Ernst Hoffmann
Wydawca:
Tübingen : Verlag von J. C. B. Mohr (Paul Siebeck)
Rok wydania:
1925
Seria:
Heidelberger Abhandlungen zur Philosophie und Ihrer Geschichte ; 3
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Grundriß der formalen Logik / I. M. Bocheński ; aus dem Französischen übers., neu bearb. und erw. von Albert Menne
Wydawca:
Paderborn : Ferdinand Schöningh
Wydanie:
5. Aufl
Rok wydania:
1983
Seria:
Uni-Taschenbücher ; 59
Gatunek / Forma:
Książki
Podręcznik
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Wstęp do logicznej teorii pytań / Tadeusz Kubiński
Wydawca:
Warszawa : Państwowe Wydaw. Naukowe
Rok wydania:
1971
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Èlementy matematičeskoj logiki / P. S. Novikov
Wydawca:
Moskva : Izdatel'stvo "Nauka"
Wydanie:
Izd. 2., ispravl
Rok wydania:
1973
Seria:
Matematičeskaâ Logika i Osnovaniâ Matematiki
Gatunek / Forma:
Książki
Podręcznik
Książka
Szczegóły
propozycja biblioteki
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
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Proceedings of the Third Scandinavian Logic Symposium / ed. by Stig Kanger
Wydawca:
Amsterdam ; Oxford : North-Holland ; New York : American Elsevier
Rok wydania:
1975
Seria:
Studies in Logic and the Foundations of Mathematics, 0049-237X ; vol. 82
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Essais sur les logiques non chrysippiennes / Gr. C. Moisil
Wydawca:
Bucarest : Éditions de L'Académie de la République Socialiste de Roumanie
Rok wydania:
1972
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Jedynkowe systemy aksjomatyczne / Leon Gumański
Wydawca:
Toruń : TNT Łódź : Państwowe Wydaw. Naukowe
Rok wydania:
1964
Seria:
Prace Wydziału Filologiczno-Filozoficznego / Towarzystwo Naukowe w Toruniu ; t. 15, z. 1
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Begriffsschrift und andere Aufsatze / Gottlob Frege
Wydawca:
Hildesheim ; Zurich ; New York : Olms-Weidmann
Wydanie:
2 Aufl., [5 Nachdr.] / mit E. Husserls und H. Scholz' Anmerkungen hrsg. von Ignacio Angelelli
Rok wydania:
1998
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Frege : philosophy of mathematics / Michael Dummett
Wydawca:
London : Duckworth
Rok wydania:
cop. 1991
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Branched quantifiers / Marcin Mostowski
Wydawca:
Białystok : Dział Wydawnictw Filii Uniwersytetu Warszawskiego
Rok wydania:
1991
Seria:
Rozprawy Uniwersytetu Warszawskiego = Dissertationes Universitatis Varsoviensis, 0509-7177 ; 410
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Prädikatenkalkül der ersten Stufe / von Günter Asser
Wydawca:
Leipzig : BSB B. G. Teubner Verlagsgesellschaft
Rok wydania:
1972
Seria:
Einführung in die mathematische Logik / G. Asser ; T. 2
Mathematisch-Naturwissenschaftliche Bibliothek ; Bd. 19
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Prädikatenlogik höherer Stufe / Günter Asser
Wydawca:
Leipzig : BSB B. G. Teubner Verlagsgesellschaft
Rok wydania:
1981
Seria:
Einführung in die mathematische Logik / G. Asser ; T. 3
Mathematisch-Naturwissenschaftliche Bibliothek ; Bd. 20
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
The logic book / Merrie Bergmann, James Moor, Jack Nelson
Wydawca:
Boston [etc.] : McGraw-Hill Higher Education
Wydanie:
5th ed
Rok wydania:
cop. 2009
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Philosophical logic / guest editor: Andrew Schumann
Wydawca:
Białystok : University of Białystok
Rok wydania:
2008
Seria:
Studies in Logic, Grammar and Rhetoric, 0860-150X ; 14 (27)
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Podstawowe zagadnienia filozofii : wybrane "problemy" "logiki" / Martin Heidegger ; przełożył i słownikiem opatrzył Wawrzyniec Rymkiewicz
Wydawca:
Warszawa : Fundacja Augusta hr. Cieszkowskiego
Wydanie:
Wydanie pierwsze
Rok wydania:
2017
Seria:
Klasycy Filozofii Niemieckiej
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Pragmatyczno-logiczne aspekty pojęcia prawdy : esej z logiki filozoficznej / Marek Magdziak
Wydawca:
Wrocław : Wydawnictwo Uniwersytetu Wrocławskiego
Rok wydania:
2008
Seria:
Acta Universitatis Wratislaviensis. Logika ; t. 24
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Collected works. Vol. 1 / Stanisław Leśniewski ; ed. by Stanisław J. Surma, Jan T. Srzednicki and D. I. Barnett ; with an annotated bibliography by V. Frederick Rickey
Wydawca:
Dordrecht [etc.] : Kluwer Academic Publishers
Rok wydania:
cop. 1992
Seria:
Nijhoff International Philosophy Series, 0924-4530 ; vol. 44
Książka
Szczegóły
propozycja biblioteki
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
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
O logice matematycznej / Roger C. Lyndon ; [tł. Wiktor Marek]
Wydawca:
Warszawa : Państwowe Wydaw. Naukowe
Wydanie:
Wyd. 2
Rok wydania:
1978
Seria:
Małe Monografie PWN. Matematyka
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Klasyczny rachunek kwantyfikatorów : zarys teorii / Witold A. Pogorzelski
Wydawca:
Warszawa : Państwowe Wydawnictwo Naukowe
Rok wydania:
1981
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Logiki zdaniowe wyrażalne przez modalność / Marek Nasieniewski
Wydawca:
Toruń : Wydawnictwo Naukowe Uniwersytetu Mikołaja Kopernika
Rok wydania:
2011
Seria:
Rozprawa Habilitacyjna / Uniwersytet Mikołaja Kopernika
Gatunek / Forma:
Książki
Książka
Szczegóły
propozycja biblioteki
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
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Èlementy matematičeskoj logiki / A. A. Markov ; pod red. A. G. Dragalina
Wydawca:
Moskva : Izdatel'stvo Moskovskogo Universiteta
Rok wydania:
1984
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Précis de logique mathématique / par I. M. Bocheński O.P
Wydawca:
Bussum F. G. Kroonder
Rok wydania:
dr. 1948
Seria:
Collection Synthese ; 2
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Grundzüge der theoretischen Logik / D. Hilbert und W. Ackermann
Wydawca:
Berlin [etc.] : Springer-Verlag
Wydanie:
5. Aufl
Rok wydania:
1967
Seria:
Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen mit Besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 27
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Term logic with choice operator / Hans Hermes
Wydawca:
Berlin [etc.] : Springer-Verlag
Wydanie:
[1st Engl. ed. rev. and enl. from 1st Germ. ed. publ. 1965]
Rok wydania:
1970
Seria:
Lecture Notes in Mathematics : a collection of informal reports and seminars ; 6
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Introduction to mathematical logic / Elliott Mendelson
Wydawca:
New York [etc.] : D. Van Nostrand Company
Wydanie:
2nd ed
Rok wydania:
cop. 1979
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Aussagenkalkül / von G. Asser
Wydawca:
Leipzig : Teubner Verlagsgesellschaft
Wydanie:
4, unveränderte Aufl
Rok wydania:
1972
Seria:
Einführung in die mathematische Logik / G. Asser ; T. 1
Mathematisch-Naturwissenschaftliche Bibliothek, 0465-3769 ; Bd. 18
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Entailment : the logic of relevance and necessity. Vol. 1 / by Alan Ross Anderson, Nuel D. Belnap ; with contrib. by J. Michael Dunn, Robert K. Meyer ; further contrib. by John R. Chidgey [et al.]
Wydawca:
Princeton ; London : Princeton University Press
Rok wydania:
cop. 1975
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
A course in mathematical logic / by J. L. Bell and M. Machover
Wydawca:
Amsterdam [etc.] : North-Holland Publishing Company
Rok wydania:
1977
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Vvedenie v matematičeskuû logiku. [T.] 1 / A. Čërč ; per. s ang. V. S. Černâvskogo ; pod red. V. A. Uspenskogo
Wydawca:
Moskva : Izdatelʹstvo Inostrannoj Literatury
Rok wydania:
1960
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Intuitionistic logic model theory and forcing / Melvin Christ Fitting
Wydawca:
Amsterdam ; London : North-Holland Publishing Company
Rok wydania:
1969
Seria:
Studies in Logic and the Foundations of Mathematics
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Truth-functional logic / by J.A. Faris
Wydawca:
New York : The Free Press of Glencoe
Rok wydania:
cop. 1962
Seria:
Monographs in Modern Logic
Książka
Szczegóły
propozycja biblioteki
Tytuł pełny:
Mathematical logic / Yu. L. Ershov, E. A. Palyutin ; transl. from the Russian by Vladimir Shokurov
Wydawca:
Moscow : Mir Publ
Rok wydania:
1984
Książka
Szczegóły
Wyświetlanie 1-100 z 3185

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Prześlij opinię

Twoje opinie są dla nas bardzo ważne i mogą być niezwykle pomocne w pokazaniu nam, gdzie możemy dokonać ulepszeń. Bylibyśmy bardzo wdzięczni za poświęcenie kilku chwil na wypełnienie krótkiego formularza.

Formularz