Search (1 results, page 1 of 1)

  • × subject_ss:"Proof theory"
  • × classification_ss:"08.25 / Zeitgenössische westliche Philosophie"
  1. Goldstein, R.: Kurt Gödel : Jahrhundertmathematiker und großer Entdecker (2007) 1.00
    1.0 = *:*, product of:
      1.0 = boost
      1.0 = queryNorm