Kurt Gödel Society
Enlarge text Shrink text-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Other Identifiers
Sources of Information
- Computational logic and proof theory, 1993:CIP pref. (Kurt Gödel Society)
- Collegium Logicum, 1995:t.p. (Kurt-Gödel-Society) verso t.p. (Kurt-Gödel-Gesellschaft)