Completeness, compactness, and undecidability: An introduction to mathematical logic

by Alfred B Manaster Hardcover details (USA). ISBN: 978-0-13-164624-7 ISBN-10: 0-13-164624-9 Prentice-Hall · 1975