Literatura
Peter Aczel Non Well-Founded Sets, CSLI, Stanford, 1988
A. Aho and J. Ullman The Theory of Parsing, Translation and Computing, Prentice-Hall, Englewood Cliffs, N.J, 1972.
Robert Aumann and Sergiu Hort (editors) Handbook of Game Theory with Economic Applications vol. 1, Elsevier, Amsterdam, 1992.
Robert Aumann and Sergiu Hort (editors) Handbook of Game Theory with Economic Applications vol. 2, Elsevier, Amsterdam, 1994.
Allen, James. Natural language understanding. 2nd ed. Redwood City, Cal.: Benjamin/Cummings, 1995.
H. Barendregt The Lambda Calculus: Its Syntax and Semantics, North Holland, Amsterdam, 1984.
H. Barendregt Functional programming and lambda calculus., In Handbook of Theoretical Computer Science
Jon Barwise, (editor) Handbook of Mathematical Logic, North-Holland, Amsterdam, 1974.
Jon Barwise, Admissible Sets and Structures, Springer-Verlag, New York, 1975.
M. Ben-Ari, Podstawy programowania współbieżnego i rozproszonego
Johan van Benthem, Games in Logic, in J. Hoepelman, ed., Representation and Reasoning, Niemeyer Verlag, Tübingen, 3-15, 165-168, 1988
Johan van Benthem, Computation versus Play as a Paradigm for Cognition, Symposium for Jaakko Hintikka, Acta Philosophica Fennica 49, 236-251. ,1990
Johan van Benthem, Language in Action: categories, lambdas and dynamic logic, NorthHolland, Amsterdam., 1991
Johan van Benthem, Exploring Logical Dynamics, CSLI Publications, Stanford. 1996
Johan van Benthem, Logic and Argumentation Theory, in F. van Eemeren, R. Grootendorst, J. van Benthem & F. Veltman, eds., Colloquium on Logic and Argumentation, Royal Dutch Academy of Sciences, Amsterdam, 27--41. 1996
Johan van Benthem, Dynamic Odds and Ends, ILLC Tech Report ML-1998--08, Amsterdam. 1998
Johan van Benthem, Logic and Games, electronic lecture notes, Amsterdam & Stanford, http://www.turing.uva.nl/~johan/ 1999
G. Birkhoff and S. MacLane, Algebra, Macmilllan, New York, 1965
R. Book and F. Otto String-Rewriting Systems, Springer-Verlag, Berlin, 1993
George Boole An Investigation of the Laws of Thought, Walton&Maberly, London, 1854.
George Boole The Mathematical Analysis of Logic, Being an Essay Toward a Calculus of Deductive Reasoning, Blackwell, Oxford, 1948.
Ludwik Borkowski Wprowadzenie do logiki i teorii mnogości, towarzystwo naukowe KUL, Lublin, 1991.
Richard Brodie Wirus umysłu, TeTa Publishing, 1997.
Jr. Frederick P. Brooks The Mythical Man-Month: Essays on Software Engineering, Addison-Wesley, 1975.
B. J. Brusilovskii System theory and system of theories, Vishta Shkola, Kiiv, 1977. (in Russian)
M. Bułhakow Mistrz i Malgorzata, Czytelnik, Warszawa, 1998.
Peter Burmeister A Model Theoretic Approach to Partial Algebras, Akademie Verlag, Berlin, 1986.
Krzysztof Cetnarowicz, Problemy projektowania i realizacji systemów wieloagentowych, AGH rozprawy monograficzne, Kraków, 1999.
C. Chang and H. Keisler Model Theory, North-Holland, Amsterdam, 1973.
Alonzo Church, Introduction to Mathematical Logic, Princeton Univ. Press, Princeton, 1956.
G Coulouris, J. Dollimore, T. Kindberg, Systemy rozproszone: podstawy i projektowanie, WNT, Warszawa 1998
H. Comon and J-P. Jouannaud (editors) Term Rewriting, Springer-Verlag, Berlin, 1995.
T. Cormen, C. Leiserson, R Rivest Wprowadzenie do algorytmów, WNT, Warszawa, 2001.
R. Fagin, Joseph Halpern, Yoram Moses, Moshe Vardi Reasoning about knowledge, MIT Press, Cambridge, Massachusets, 1996.
W. Feller Wstep do rachunku prawdopodobieństwa, PWN, Warszawa, 1987.
George Gargov: An Approach to Uncertainty via Sets of Truth Values. Notre Dame Journal of Formal Logic 36(2): 235--268, 1995
G. Gargov Forgotten Words, Pet Plus, Sofia, 1997. (in bulgarian)
D. Gabbay and F. Guenthner (editors) Handbook of Philosophical Logic Volume II: Extension of Classical Logic, D. Reidel, Dordrecht, 1984.
Dov Gabbay, C. Hogger, and J. Robinson (editors) Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press, New York, 1993.
W. Gellert, M. Kustner, M. Hellwich, and H. Kastner (editors) Mathematics at a glance, VEB, Leipzig, 1975.
G. Gratzer Universal algebra, Springer-Verlag, New York, 1979.
Aleksander Grin Szczurołap i inne opowiadania, "Współpraca", Warszawa, 1987.
A. Grzegorczyk Zarys logiki matematycznej, PWN, Warszawa, 1975
W. G. Hamilton Parliamentary logic, W.Heffer&Sons Limited, Cambridge, 1927.
David Harel Rzecz o istocie informatyki. Algorytmika, WNT, Warszawa, 2000.
David Harel First-Order Dynamic Logic, Springer-Verlag, Berlin, 1979.
David Harel Dynamic Logic, in D. Gabbay and F. Guenthner pages 497--604.
Zdzisław Hellwig Elementy rachunku prawdopodobieństwa i statystyki matematycznej, PWN, Warszawa, 1978.
Jaakko Hintikka, Logic, Language Games, and Information, Clarendon Press, Oxford. 1973
Douglas Hofstadter Godel, Escher, Bach: The Eternal Golden Braid, Vintage Books, New York, 1980.
J. Holland, K. Holyoak, R. Nisbett, and P. Thagard Induction: Processes of Inference, Learning and Discovery, MIT Press, Cambridge, Massachusetts, 1986.
T. J. Jech Set Theory, Academic Press, 1978.
Vladimir S. Jotsov Defeasible Reasoning by Using Analogies., Proc. IV Int. Conf. Artificial Intell. Methodology, Systems, Applications AIMSA'90, P. Jorrand and V. Sgurev (eds.) (North-Holland, 1990), pp. 285-292.
J. Kelley General Topology, Van-Nostrand, Princeton, 1955.
Steven Kleene Introduction to Metamathematics, North-Holland, Amsterdam, 1952.
Donald Knuth Sztuka programowania, WNT, Warszawa, 2002.
Donald Knuth The Art of Computer Programming, Addison-Wesley, Reading, Mass., 1968.
A. Kolmogorov, Three approaches to the quantitative definition of information. Problems Inform. Transmission, 1(1):1--7, 1965.
Antoni Kościelski Teoria obliczeń, Wyd. Uniw. Wrocławskiego, Wrocław, 1997.
Tadeusz Kotarbiński, Wykłady z dziejów logiki, PWN, Warszawa, 1985
Jaroslav Kral, Parkinson programming SIGPLAN Notices, 15(2):46--50, 1980.
K. Kunen and J. E. Vaughan (editors) Handbook of Set Theoretic Topology, North-Holland, Amsterdam, 1984.
K. Kuratowski and A. Mostowski Set Theory, PWN, Warszawa, 1967.
Kazimierz Kuratowski Wstęp do teorii mnogości i topologii, PWN, Warszawa, 1973.
Jan van Leeuwen (editor) Handbook of Theoretical Computer Science, Elsevier, Amsterdam, 1992.
Leslie Lamport LaTeX, Addison-Wesley, Reading, Mass., 1986.
Stanisaw Jerzy Lec Myśli nieuczesane, Wydawnictwo Literackie, Krakow, 1974.
Ming Li and Paul Vitanyi An Introduction to Kolmogorov Complexity and its Applications, Springer-Verlag, Berlin, 1993.
D. S. Lichaczew, A. M. Panczenko "Świat śmiechu" starożytnej Rosji
David Lindsay Dobre rady dla piszących teksty naukowe, Oficyna Wydawnicza Politechniki Wrocławskiej, Wrocław, 1995.
David Lindsay A Guide to Scientific Writing: Manual for Students and Research Workers, Longman, Melbourne, 1994.
Jan Łukasiewicz O logice trójwartościowej Ruch Filozoficzny, 5:169--171, 1920.
Jan Łukasiewicz. Selected Works, North-Holland and PWN, 1970
Jurij Manin Wjczyslimoe i niewjyczislimoe, Sovetskoe Radio, Moskwa, 1980.
Witold Marciszewski (editor) Logika Formalna, PWN, Warszawa, 1987.
Elliott Mendelson Introduction to Mathematical Logic, van Nostrand Co, New York, 1979.
Roman Murawski Funkcje rekurencyjne i elementy metamatematyki, UAM, Poznan, 1990.
J. Neumann and O. Morgenstern Theory of Games and Economic Behaviour, Princeton Univ. Press, Princeton, 1953.
Beata Padlewska, Slavian Radev Informatyka teoretyczna (modele i zadania), Telecotron Int., Warszawa, 1999
S. Passy and T. Tinchev PDL with Data Constants, Inf. Proc. Letters., vol 20, 1985, pp. 35-41
Zdzisław Pawlak Gramatyka i matematyka, PZWS, Warszawa, 1965.
Wojciech Piróg Zagadnienia informacji i dokumentacji naukowej, PWN, Warszawa, 1977.
K. Popper Przypuszczenia i obalenia 1963
K. Popper Philosophy of Science: a Personal Report, 1957
E. Post, Finite combinatory processes - formulation I, J. Symbolic Logic, 1(1):103--105, 1936.
M. Rabin, Decidability of second order theories and automata on infinite trees. Trans. Amer. Math. Soc., 141:1--35, 1969.
Slavian Radev, Argumentation systems Fundamenta Informaticae, 28(3,4):331--346, 1996.
Helena Rasiowa Wstęp do matematyki współczesnej, PWN, Warszawa, 1969.
Rescher and Urquhart Temporal logic
Gyorgy Revesz Introduction to Formal Languages, McGraw-Hill, New York, 1983.
Robertson J., Robertson S., Pelna analiza systemowa, WNT, Warszawa
Hartley Rogers Theory of Recursive Functions and Effective Computability, McGraw-Hill, New York, 1967.
W. Sady Spór o racjonalność naukową od Poincare'go do Laudana
Andrzej Salwicki, Formalized algorithmic languages. Bull. Acad. Polon. Sci. Ser. Sci. Math. Astron. Phys., 18:227--232, 1970.
J. Schreider, Models in linguistics and in mathematics. In S. Shaumian, (editor) Mathematical Linguistics, Nauka, Moskow, 1973.
Raymond Smullyan Theory of Formal Systems, Princeton Univ. press, Princeton, New Jersey, 1962.
Peter Starke Sieci Petri. Podstawy, zastosowania, teoria, PWN, Warszawa, 1987.
Hugo Steinhaws Kilka słów o kilku słowach, Ossolineum, Wrocław, 1980.
Ian Stewart. Czy Bóg gra w kości?, PWN, Warszawa, 1995.
Philip D. Straffin. Teoria gier, Scholar, Warszawa, 2004.
Philip D. Straffin. Game Theory and Strategy, Mathematical Association of Ameryka , Waszyngton D. C., 2003.
Struktura materii, PWN, Warszawa, 1980.
Świrydowicz K., Podstawy logiki modalnej, Wydawnictwo naukowe UAM, 320, Poznań, 2003.
Ryszard Tolwinski Conditions and principles in simulation of cooperating multiagent system, ??
Kazimierz Trzęsicki Logika. Nauka i Sztuka, Temida2, Bialystok, 1996
Kazimierz Trzęsicki Logika i teoria mnogości, EXIT, Warszawa, 2003
Kazimierz Trzęsicki Elementy logiki i teorii mnogości, WSFiZ, Białystok, 2004
R. Thomason and J. Horty. Logics for inheritance theory. In M. Reinfrank, J. de Kleer, M. Ginsberg, and E.Sandewall (editors) Non-Monotonic Reasoning, pages 220--237. Springer-Verlag, Berlin, 1988.
Uspensy V. A. Semenov A. L. What are the gains of the theory of algorithms: basic developments connected with the concept of algorithm and with application in mathematics Ershov A. P. Knuth D. E. Algorithms in modern mathematics and computer science LNCS 122, Springer 1981
Dimiter Vakarelov. The concept of dogma and some systems of many-valued logics. Annuaire de l'Universite de Sofia, LXIV:249--264, 1970.
William M. Waite, Gerhard Goos, Konstrukcja kompilatorów, Wydawnictwo Naukowo-Techniczne, Warszawa, 1989.
Marx W. Wartofsky. Models Representation and Scientific Understanding, D. Reidel, Boston, 1979.
Wolfgang Wechler Universal Algebra for Computer Scientists, Springer-Verlag, Berlin, 1992
Nikolaus Wirth Algorytmy + struktury danych = programy
von Wright An essay in deontic logic
Edward Yourdon Współczesna analiza strukturalna, WNT, Warszawa, 1996.
Edward Yourdon, Carl Argila, Analiza obiektowa i projektowanie, WNT, Warszawa 2000