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 - 2024-11-22T14:36:41 ER -