Switch to: References

Add citations

You must login to add citations.
  1. Symbioses between mathematical logic and computer science.Andreas Blass - 2016 - Annals of Pure and Applied Logic 167 (10):868-878.