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

Master expositor Paul Halmos presents Linear Algebra in the pure axiomatic spirit. He writes "My purpose in this book is to treat linear transformations ...

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

Kształcenie osób związanych z szeroko rozumianym zarządzaniem, w tym dowódców, w zakresie logiki jest ...

Local density matrices of many-body states in the constant weight subspaces N-body localization for the Anderson model with strongly mixing correlated ...

Podręcznik umożliwiający poznanie najczęściej stosowanych w praktyce metod optymalizacji liniowej i nieliniowej. Poszczególne ...

Basię Borycką poznałem w październiku 2016 roku. Biła od niej jakaś niezwykła dobroć. Czułem, że jest ...

Książka ta jest uzupełnieniem podręcznika Dariusza Wrzoska Matematyka dla biologów. Zadania i przykłady zawarte w zbiorze ...

A new integrable lattice hierarchy associated with a discrete 3x3 matrix spectral problem: N-fold Darboux transformation and explicit solutions Axion ...