Repozytorium Theo-logos

Przeglądaj według tematu "formal logic"

    A A A  

Przeglądaj według tematu "formal logic"

Sortuj według: Kolejność: Wyniki:

  • Olszewski, Adam (Instytut Teologiczny w Tarnowie, 2001)
    The aim of the article is to present the main idea of the so called Post’s Machine. Contrary to Turing’s Machine, Post's Machine is not so widely known. But some find it much simpler than the former. We begin by giving a ...
  • Mączka, Janusz (Wydawnictwo Naukowe Papieskiej Akademii Teologicznej w Krakowie, 1997)
    The paper discusses Whitehead’s contribution to the monumental work Principia Mathematica written together with Bertrand Russell. After presenting the beginnings of the project, its logical foundations are briefly analysed. ...

Szukaj w Theo-logos

Przeglądaj

Moje konto

Polub nas