Mathematical Logic and Theoretical Computer Science
Publisher: CRC
Published: December 22, 1986
Language: eng
Format: Paperback
Number of pages: 408
ISBN-13: 9780824777463
Subjects: Mathematical logic; Mathematical And Symbolic Logic; Computer Science (General); Mathematics; Science/Mathematics; Set Theory; Applied; Logic; Mathematics / Set Theory; Algebra; Electronic data processing; Logic, Symbolic and mathematic
First sentence: Languages of symbolic logic which are adequate for formalizing mathematics are excellent vehicles of expression for automated mathematical systems, since they have great generality, clear and simple syntax which facilitates processing by computers, and symbolism closely related to that which is used in mathematical practice.
Notes: Lecture Notes in Pure and Applied Mathematics