Natural Arguments: Hołd dla Johna Woodsa - Natural Arguments: A Tribute to John Woods

Dov Gabbay

Niniejszy zbiór esejów jest hołdem złożonym Johnowi Woodsowi z...

Natural Arguments: Hołd dla Johna Woodsa - Natural Arguments: A Tribute to John Woods

The Lambda Calculus. Jego składnia i semantyka - The Lambda Calculus. Its Syntax and...

Henk Barendregt

Rachunek lambda, traktowany w tej książce głównie w...

The Lambda Calculus. Jego składnia i semantyka - The Lambda Calculus. Its Syntax and Semantics

Teoria zbiorów - Set Theory

Kenneth Kunen

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

Van Ditmarsch Hans

Logika epistemiczna i, bardziej ogólnie, logika wiedzy i przekonań, została zapoczątkowana...

Podręcznik logiki epistemicznej - Handbook of Epistemic Logic

Co to jest komputer i co potrafi? - What Is a Computer and What Can It Do?

C. O'Connell Thomas

Zanim studenci dotrą do końca kursu projektowania algorytmów, zaczynają...

Co to jest komputer i co potrafi? - What Is a Computer and What Can It Do?

Finanse jako działania wojenne - Finance as Warfare

Michael Hudson

Michael Hudson jest jednym z czołowych światowych krytyków współczesnego kapitalizmu finansowego. Jest również...

Finanse jako działania wojenne - Finance as Warfare

Journal of Applied Logics. Czasopismo IfCoLog Journal of Logics and their Applications. Tom 8,...

Massimiliano Carrara

Journal of Applied Logics - IfCoLog Journal of...

Journal of Applied Logics. Czasopismo IfCoLog Journal of Logics and their Applications. Tom 8, wydanie 2, marzec 2021. Wydanie specjalne Assertion and Proof - Journal of Applied Logics. The IfCoLog Journal of Logics and their Applications. Volume 8, Issue 2, March 2021. Special issue Assertion and Proof

Abstract Algebraic Logic. Podręcznik wprowadzający - Abstract Algebraic Logic. An Introductory...

Maria Font Josep

Abstrakcyjna logika algebraiczna jest bardziej...

Abstract Algebraic Logic. Podręcznik wprowadzający - Abstract Algebraic Logic. An Introductory Textbook

Abstrakcyjna konsekwencja i logika: eseje ku czci Edelcio G. de Souzy - Abstract Consequence and...

Alexandre Costa-Leite

Edelcio G. de Souza (Uniwersytet w S o Paulo,...

Abstrakcyjna konsekwencja i logika: eseje ku czci Edelcio G. de Souzy - Abstract Consequence and Logics: Essays in Honor of Edelcio G. de Souza

Pytanie jest bardziej pouczające niż odpowiedź. A Festschrift for Paolo A. S. Veloso - A Question is...

Hermann Haeusler Edward

Niniejszy tom poświęcony jest pamięci Paulo A. S...

Pytanie jest bardziej pouczające niż odpowiedź. A Festschrift for Paolo A. S. Veloso - A Question is More Illuminating than an Answer. A Festschrift for Paolo A. S. Veloso

Kings College Pubn

Dotychczas wydane książki wydawnictwa Kings College Pubn: