Special issue on admissible rules and unification

DOI10.1215/00294527-3646685zbMath1354.00074OpenAlexW2533308441MaRDI QIDQ2374387

No author found.

Publication date: 15 December 2016

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1477399541

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Related Items (1)

Admissible Rules of Lukasiewicz Logic

This page was built for publication: Special issue on admissible rules and unification