Pages that link to "Item:Q750411"

From MaRDI portal

← On comparison of theories by their contents (Q750411)

Jump to:navigation, search

The following pages link to On comparison of theories by their contents (Q750411):

Displaying 3 items.

Foundations for the formalization of metamathematics and axiomatizations of consequence theories (Q598315) (← links)
On pairs of dual consequence operations (Q1941723) (← links)
European Summer Meeting of the Association for Symbolic Logic, Uppsala 1991 (Q3138023) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q750411"