An edition of Logic, language, and computation
(1994)
Logic, Language and Computation
Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science)
by Neil D. Jones
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Subjects
Computer sciencePeople
Satoru Takasu (1931-)| Edition | Availability |
|---|---|
1
Logic, Language and Computation: Festschrift in Honor of Satoru Takasu (Lecture Notes in Computer Science)
April 1994, Springer
Paperback
in English
3540579354 9783540579359
|
aaaa
|
Book Details
First Sentence
"It is well-known that classical logic can be faithfully embedded in constructive logic via so-called double-negation interpretations."
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| June 26, 2019 | Created by MARC Bot | import existing book |