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 ...

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 ...

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 ...

Mathematics for Physical Chemistry is the ideal text for students and physical chemists who want to sharpen their mathematics skills. It can help prepare ...

This book is the product of a community-wide initiative to provide a reliable, technically accurate, historically informative, uniform and concise collection ...