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 …
Two conferences, Logic and Its Applications in Algebra and Geometry and Combinatorial Set Theory, Excellent Classes, and Schanuel Conjecture, were held at the University of …
Trees, sometimes called semilinear orders, are partially ordered sets in which every initial segment determined by an element is linearly ordered. This book focuses on automorphism …
Discusses the relations between Hilbert's tenth problem, arithmetic, and algebraic geometry. This book addresses such areas as Hilbert's tenth problem for various rings and fields, …
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 …
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 …
The Latin-American conference on algebra, the XV Coloquio Latinoamericano de Algebra (Cocoyoc, Mexico), consisted of plenary sessions of general interest and special sessions on …