Deducibility and Decidability
Publisher: Taylor & Francis Group
Published: 2014
Language: eng
Number of pages: 170
ISBN-13: 9780415754965
Subjects: Goedel's theorem; Logic, symbolic and mathematical; Decidability (mathematical logic)