Troelstra, A. S. (Anne Sjerp) (Personal Name)

Number of records used in: 3

Preferred form: Troelstra, A. S. (Anne Sjerp)

Machine generated authority record.

Work cat.: ()857551: Troelstra, A. S. (Anne Sjerp), Metamathematical investigation of intuitionistic arithmetic and analysis /, 1973