Combinatory logic and the axiom of choice

Indagationes Mathematicae

Volumn 35, Issue 3, 1973, Pages 203-221

  Barendregt, Henk ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346583087     PISSN: 00193577     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (6)