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

En este libro se amplian resultados clásicos del Análisis de Fourier empleando al Integral de Henstock-Kurzweil (HK), una característica ...

This book is concerned with the applications of combinatorics to survey sampling with special reference to controlled sampling. The use of combinatorics ...

Szczegółowe rozwiązania zadań z matematyki wraz z opisem zadań, z jakimi spotkasz się na lekcjach matematyki w zadaniach ...

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

Reports on Mathematical Physics publish papers in theoretical physics which present a rigorous mathematical approach to problems of quantum and classical ...

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