Alama J., Oppenheimer P. E., Zalta E. N. (2015), Automating Leibniz’s Theory of Concepts, [in:] A. P. Felty, A. Middeldorp (ed.), Proceedings of the 25th Internationa l Conference on Automated Deduction, Springer, Dordrecht: 73-97.
Błądek I., Komosinski M., i Miazga K. (2019), Mappism: Formalizing classical and artificial life views on mind and consciousness, „Foundations of Computing and Decision Sciences”, 44. 55-99, DOI: 10.2478/fcds-2019-0005.
Bramer M. (2013), Logic Programming with Prolog, Springer, London.
Clocksin W., Mellish C. (2003). Programming in Prolog, Springer, London.
Fitelson B., Zalta E. N. (2007), Steps Toward a Computational Metaphysics, „Journal of Philosophical Logic”, 36(2): 227-247.
Floridi L. (2002), What is the philosophy of information, „Metaphilosophy”, 33:123–145.
Floridi L. (2012), The philosophy of information, Oxford University Press, Oxford.
Fulmański P. (2009), Programowanie w logice. Prolog, URL = http://fulmanski.pl/zajecia/prolog/wyklad.pdf [dostęp z dnia 04.02.2019].
Garbacz P. (2016), Digitalizacja filozofii formalnej, „Filozofia Nauki”, 4(96): 27-47.
Janusz R. (2002), Program dla Wszechświata. Filozoficzne aspekty języków obiektowych. Ignatianum, Kraków.
Jernajczyk J. (2016a), Obraz wyczerpujący, URL = http://www.grapik.pl/grapik-pl/prace-artystyczne/obraz-wyczerpujacy/ [dostęp 02.02.2019].
Jernajczyk K. (2016b), Wizualizacja zagadnień naukowych, URL = http://www.grapik.pl/grapik-pl/projekty-badawcze/wizualizacja-zagadnien-naukowych/ [dostęp z dnia 02.02.2019].
Lipovac̆a M. (2017), Learn You a Haskell for Great Good! URL = http://learnyouahaskell.com [dostęp z dnia: 01.03.2018].
Marshall T. (2019), Differences between in vitro, in vivo, and in silico studies, URL = https://mpkb.org/home/ patients/assessing literature/in vitro studies [dostęp z dnia 10.12.2019].
Niederliński A. (2014), Programowanie w logice z ograniczeniami, http://www.pwlzo.pl [dostęp z dnia: 09.09.2017].
Moczurad A., Moczurad W. (2006), Paradygmaty programowa, URL = http://wazniak.mimuw.edu.pl/index.php?title=Paradygmaty programowania [dostęp z dnia 11.11.2017].
O’Sullivan B., Goerzen J., Stewart D. B. (2008), Real world haskell. code you can believe in, Ebook ISBN: 978-0-5965-5430-9, 9780596554309.
Płoski Z. (1999), Słownik encyklopedyczny, Europa, Wrocław.
Pfaffenberg B. (1999), Słownik terminów komputerowych, Prószyński i Spółka, Warszawa.
Przegalińska A. K. (2014) Fenomenologia istot wirtualnych, URL = https://depotuw.ceon.pl/handle/item/463 [dostęp z dnia 06.10.2018].
Rayside D., Campbell G. T. (2000), An aristotelian understanding of object-oriented programming, [in:] Proceedings of the conference on Objectoriented programming, systems, languages, and applications: 337–353, ACM Press, 2000.
Rayside D., Kontogiannis K. (2001), On the syllogistic structure of object-oriented programming, doi: 10.1109/ICSE.2001.919086.
Sebesta R. (2016), Concepts of programming languages, URL = https://vulms.vu.edu.pk/Courses/CS508/Downloads/Concepts%20of%20Programming%20Languages%2011th%20Ed.pdf[dostęp z dnia 09.12.2019].
Spinoza B. (1888), Etyka sposobem geometrycznym wyłożona, przeł. A. Paskal, Skład Główny w Księgarni E. Wendego i S-KI, Warszawa.
Spinoza B. (1927), Etyka w porządku geometrycznym dowiedziona, przeł. I. Myślicki, URL = https://wolnelektury.pl/katalog/lektura/spinoza-etyka.html [dostęp z dnia 04.10.2019].
Spinoza B. (1993), L’ÉTHIQUE DÉMONTRÉE SELON LA MÉTHODE GÉOMÉTRIQUE ET DIVISÉE EN CINQ PARTIES, przeł. A. Guérinot, URL = http://classiques.uqac.ca/classiques/spinoza/ethique/ethique.html [dostęp z dnia 06.12.2019].
Spinoza B. (2009), The Ethics (Ethica Ordine Geometrico Demonstrata), przeł. R. H. M. Elwes, URL = https://www.gutenberg.org/files/3800/3800-h/3800-h.htm [dostęp z dnia 05.11.2019].
Strzelecki J. (2017), monada = Monada() – interpretacja obiektowa, [w:] Filozofia i
technika, Wyd. IF UWM, Olsztyn.
Triska M. (2020), The power of Prolog, URL = https://www.metalevel.at/prolog [dostęp z dnia 01.02.2020).
Winsberg. E. (2015), Computer simulations in science, URL = https://plato.stanford.edu/archives/sum2015/entries/simulations-science/, Summer Edition 2015. Edward N. Zalta (redaktor) [dostęp z dnia 03.04.2018].
Google Scholar