Search for tag: "v."

CL - Lecture 4.g - Sequents 2

Additional predicates after the turnstile behave similarly.

From  Claudia-Elena Chirita 0 likes 356 plays 0