Logic, Language, and Computation
Subtitle: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science)
Publisher: Springer
Published: April 1994
Language: eng
Number of pages: 269
ISBN-13: 9780387579351
First sentence: It is well-known that classical logic can be faithfully embedded in constructive logic via so-called double-negation interpretations.