Nonclassical logics and information processing
by D. Pearce, H. Wansing
Logic programmingNonclassical mathematical logicCongressesProof theoryArtificial intelligence
Writing a summary for young readers…
For young readers
Book data: Open Library
by D. Pearce, H. Wansing
Book data: Open Library