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

Chubaryan

von Anahit Chubaryan

Taschenbuch

ISBN-13: 978-3-8433-7255-8

ISBN-10: 3-8433-7255-1

LAP LAMBERT Academic Publishing · 2010