Institution-independent Model Theory (Studies in Universal Logic)

Name: Institution-independent Model Theory (Studies in Universal Logic)
Author: Razvan Diaconescu

Cover of Institution-independent Model Theory (Studies in Universal Logic)

No description available.

Model theoryLogic, symbolic and mathematicalLogicMathematicsComputer scienceSymbolic and mathematical LogicMathematical Logic and FoundationsMathematical Logic and Formal Languages