• Einfache Suche
• Erweiterte Suche
• Konto
• Merkliste 
• Fernleihe
• Leihstelle: UB Altstadt

Hilfe

Beenden

• A
• A
• A

 Markieren   Persönliche Notiz

Andere Formate
Exportieren/Zitieren

 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(0x5635b9208808)},
  series={Lecture notes in mathematics},
  note={Literaturverz. S. 335 - 339},
  keywords={Zahlentheorie ; Mathematische Logik},
  library={MA [Signatur: Toled] ; MA [Signatur: Toled]},
}