Note sur la logique de M. Heyting.

From MaRDI portal
Publication:2621442