Natural Arguments: Hołd dla Johna Woodsa - Natural Arguments: A Tribute to John Woods
Niniejszy zbiór esejów jest hołdem złożonym Johnowi Woodsowi z...
The Lambda Calculus. Jego składnia i semantyka - The Lambda Calculus. Its Syntax and...
Rachunek lambda, traktowany w tej książce głównie w...
Teoria zbiorów - Set Theory
Ta książka jest przeznaczona dla czytelników, którzy znają elementarną logikę matematyczną i aksjomatyczną teorię mnogości i którzy chcą dowiedzieć...
Podręcznik logiki epistemicznej - Handbook of Epistemic Logic
Logika epistemiczna i, bardziej ogólnie, logika wiedzy i przekonań, została zapoczątkowana...
Co to jest komputer i co potrafi? - What Is a Computer and What Can It Do?
Zanim studenci dotrą do końca kursu projektowania algorytmów, zaczynają...
Finanse jako działania wojenne - Finance as Warfare
Michael Hudson jest jednym z czołowych światowych krytyków współczesnego kapitalizmu finansowego. Jest również...
Journal of Applied Logics. Czasopismo IfCoLog Journal of Logics and their Applications. Tom 8,...
Journal of Applied Logics - IfCoLog Journal of...
Abstract Algebraic Logic. Podręcznik wprowadzający - Abstract Algebraic Logic. An Introductory...
Abstrakcyjna logika algebraiczna jest bardziej...
Abstrakcyjna konsekwencja i logika: eseje ku czci Edelcio G. de Souzy - Abstract Consequence and...
Edelcio G. de Souza (Uniwersytet w S o Paulo,...
