TY - GEN DA - 1995 LA - eng PY - 1995 SN - 0931-6558 TI - A formal approach to Nash's program UR - https://nbn-resolving.org/urn:nbn:de:0070-pub-29098568 Y2 - 2025-04-20T17:59:36 ER -