Proceedings of the Herbrand Symposium
Publisher: Elsevier Science
Published: July 1982
Format: Textbook Binding
Number of pages: 396
ISBN-13: 9780444864178
Subjects: Mathematical And Symbolic Logic