Registered users receive a variety of benefits including the ability to customize email alerts, create favorite journals list, and save searches.
Please note that a Project Euclid web account does not automatically grant access to full-text content. An institutional or society member subscription is required to view non-Open Access content.
Contact customer_support@projecteuclid.org with any questions.
View Project Euclid Privacy Policy
Christian Thiel "Schröders zweiter Beweis für die Unabhängigkeit der zweiten Subsumtion des Distributivgesetzes im logischen Kalkül," Modern Logic, Mod. Log. 4(4), 382-391, (October 1994)