This volume contains seventeen essays in the history of modern mathematical logic. The first nine are concerned with the completeness of various logical ...

Mathematics originates with intuition. But intuition alone can only go so far and formalism develops to handle the more difficult problems. Formalism ...

The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive ...

Gdzie jest najlepsze miejsce na budowę supermarketu? Czego możemy nauczyć się od ryb w stawie? W jaki sposób sieci społeczne ...

The legacy of Professor Jan Stanisław Lipiński for the sake of the development of mathematics in Gdańsk 1969-1998 Convergence of sequences ...

Każdy z czterech szkiców to pasjonująca lektura dla miłośnika matematyki czy historii. Autorowi znakomicie udało się ...

W książce zaprezentowano aplikacje rachunku prawdopodobieństwa i statystyki matematycznej w niektórych obszarach ekonomii. Przykłady ...

Jest to druga część książki Zasady statystyki jedno- i dwuwymiarowej. Metodyka, teoria i zastosowania. Oba tomy są integralnie ...

Epistemic logic and, more generally, logics of knowledge and belief, originated with philosophers such as Jaakko Hintikka and David Lewis in the early ...

Functiones et Approximatio, Commentarii Mathematici is a mathematical journal edited by the Faculty of Mathematics and Computer Science of Adam Mickiewicz ...