Elementary axioms for categories of classes

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1999, Pages 77-85

  Simpson, Alex K ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FORMAL LOGIC; LINGUISTICS; MATHEMATICAL MODELS; THEOREM PROVING;

AXIOMATIZATION; INTUITIONISTIC ZERMELO-FRAENKEL SET THEORY;

SET THEORY;

EID: 0032597536     PISSN: None     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (18)