Rabin style speed-up of proofs: More generalized speed-up in the systems of first order logic

von Anahit Chubaryan Taschenbuch Details (Deutschland) ISBN-13: 978-3-8433-7255-8 ISBN-10: 3-8433-7255-1 LAP LAMBERT Academic Publishing · 2010