A Multiple-Conclusion Meta-Logic (1994)

by Dale Miller
Venue:In Proceedings of 9th Annual IEEE Symposium On Logic In Computer Science
Citations:86 - 7 self