Pencarian berdasarkan :
Pencarian terakhir:
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs o…