Solutions to Logical Foundations

coming soon