18 books • 5 series
R-Calculus, III: Post Three-Valued Logic (Perspectives in Formal Induction, Revision and Evolution)
R-Calculus, II: Many-Valued Logics (Perspectives in Formal Induction, Revision and Evolution)
R-CALCULUS: A Logic of Belief Revision (Perspectives in Formal Induction, Revision and Evolution)
Applications of Finite Element Methods for Reliability Studies on ULSI Interconnections (Springer Series in Reliability Engineering)