کتاب زبان اصلی Logic Construction Computation  اثر جمعی از نویسندگان   کتاب Logic Construction Computation Ontos Mathematical Logic اثر Ulrich BergerHannes DienerPeter Schuster یک کتاب علمی در زمینه ی منطق ساخت و محاسبات است که توسط انتشارات Ontos Verlag در سال 2012 منتشر شده است این کتاب به عنوان یکی از کتابهای موفق در زمینه ی منطق مطرح می باشد نویسندگان این کتاب کتابهای موفق دیگری نیز دارند که از آنها می توان به کتاب Logic Language and Computation اثر Ulrich Berger و Logic and Automata History and Perspectives اثر Ulrich Berger و Hannes Diener اشاره کرد