Prezentacja autora M. Augusto Luis:

Dotychczas wydane książki M. Augusto Luis:

Logiki wielowartościowe: wprowadzenie matematyczne i obliczeniowe. Wydanie drugie - Many-Valued...
Kings College Pubn
Logiki wielowartościowe to logiki, które mają...
Logiki wielowartościowe: wprowadzenie matematyczne i obliczeniowe. Wydanie drugie - Many-Valued Logics: A Mathematical and Computational Introduction. Second Edition
Języki, maszyny i klasyczne obliczenia - Languages, Machines, and Classical Computation
Kings College Pubn
Języki, maszyny i obliczenia klasyczne to nowy...
Języki, maszyny i klasyczne obliczenia - Languages, Machines, and Classical Computation
Logika obliczeniowa: Tom 1: Klasyczne obliczenia dedukcyjne z logiką klasyczną. Wydanie drugie -...
Kings College Pubn
Chociaż wiele najnowszych zastosowań...
Logika obliczeniowa: Tom 1: Klasyczne obliczenia dedukcyjne z logiką klasyczną. Wydanie drugie - Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Logiczne konsekwencje: Theory and Applications: An Introduction. Wydanie drugie - Logical...
Kings College Pubn
Teoria konsekwencji logicznej ma kluczowe...
Logiczne konsekwencje: Theory and Applications: An Introduction. Wydanie drugie - Logical Consequences: Theory and Applications: An Introduction. 2nd Edition
Logika formalna: Klasyczne problemy i dowody - Formal Logic: Classical Problems and Proofs
Kings College Pubn
Logika polega - bez wątpienia - na dowodzeniu, ale...
Logika formalna: Klasyczne problemy i dowody - Formal Logic: Classical Problems and Proofs
<<
1
>>