Login / Signup

A Categorical Characterization of Consistency Results.

Christel BaierMila E. Majster-Cederbaum
Published in: AMAST (1996)
Keyphrases