Navigation überspringen
Universitätsbibliothek Heidelberg

Disk Speichern
@book{UBHD-1036576,
  author={Toledo, Sue},
  title={Tableau systems for first order number theory and certain higher order theories},
  publisher={Springer},
  address={Berlin [u.a.]},
  year={1975},
  pages={339 S.},
  language={eng},
  isbn={3-540-07149-0 and 0-387-07149-0 and 978-3-540-07149-5 and 978-0-387-07149-7},
  number={ARRAY(0x55fc5356d3c0)},
  series={Lecture notes in mathematics},
  note={Literaturverz. S. 335 - 339},
  keywords={Zahlentheorie ; Mathematische Logik},
  library={MA [Signatur: Toled] ; MA [Signatur: Toled]},
}

zum Seitenanfang