R-Calculus, IV: Propositional Logic
Wei Li, Yuefei SuiՏարի:
2023
Հրատարակչություն:
Springer
Լեզու:
english
Էջեր:
263
ISBN 10:
9811986320
ISBN 13:
9789811986321
Սերիաներ:
Perspectives in Formal Induction, Revision and Evolution
Ֆայլ:
PDF, 2.75 MB
IPFS:
,
english, 2023