Filter
Matematisk logik
Filter
Contains articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California. This work consists …
Gallery of the Infinite is a mathematician's unique view of the infinitely many sizes of infinity. Written in a playful yet informative style, it introduces important concepts from …
Presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. This book presents …
Presents foundational research on two approaches to studying subgroup lattices of finite abelian $p$-groups. This book offers a combinatorial interpretation of the Betti …
Contains translations of some of historically significant works in set theory, model theory, analysis and algebra. This book is suitable for graduate students and researchers …
Features papers that represent the works of experts in the field who were invited speakers at the AMS-IMS-SIAM Joint Summer Conference on Computability Theory and Applications held …
This volume provides an overview of contemporary research in symbolic computation as it applies to the solution of polynomial systems. It focuses on systems of polynomials, systems …
.