Foundations Logical LFCS Computer International 2022 9783030930998 Symposium Deerfield 预订 Science