Open AccessBook Review: Reiner Hähnle. Automated Deduction in Multiple-valued Logics
Author(s) -
Grzegorz Malinowski
Publication year - 1996
Publication title -
notre dame journal of formal logic
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 0.505
H-Index - 29
eISSN - 1939-0726
pISSN - 0029-4527
DOI - 10.1305/ndjfl/1040046147
Subject(s) - calculus (dental) , philosophy , computer science , medicine , dentistry