The Mathematical Vernacular, A Language for Mathematics with Typed Sets

Studies in Logic and the Foundations of Mathematics

Volumn 133, Issue , 1994, Pages 865-935

  de Bruijn, N G ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77956952167     PISSN: 0049237X     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0049-237X(08)70231-3     Document Type: Article

References (0)