Reihe Computer Science Foundations and Applied Logic Petri Net PrimerA Compendium on the Core Model, Analysis, and SynthesisEike BestSpringer International PublishingeBook202464,19 € Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingSoftcover202464,19 € Algorithms for Constructing Computably Enumerable Sets Kenneth J. SupowitSpringer International PublishingHardcover202364,19 € Algorithms for Constructing Computably Enumerable Sets Kenneth J. SupowitSpringer International PublishingeBook202364,19 € Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingHardcover202390,94 € Simple Type TheoryA Practical Logic for Expressing and Reasoning About Mathematical IdeasWilliam M. FarmerSpringer International PublishingeBook202364,19 €26 Treffer 1 2 3
