2000 - Goaldirected Proof Theory [Applied Logic Series Volume 21] (Hardcover) ISBN-13: 9780792364733 ISBN-10: 0792364732 Genre: Computers & Technology ? |
2000 - Goaldirected Proof Theory [Applied Logic Series Volume 21] (Hardcover) ISBN-13: 9780792364733 ISBN-10: 0792364732 Genre: Computers & Technology ? |