Sökt på: logic
Vi gjorde istället en sökning på titeln logic vilket gav totalt 5 träffar
Logic and Combinatorics
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 …
Logic and Algebra
This volume outlines current developments in model theory and combinatorial set theory and presents state-of-the-art research. Well-known researchers report on their work in model …
Logic and Its Applications
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 …
Categories in Computer Science and Logic
Presents the proceedings of AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic that was held at the University of Colorado in Boulder. This book …