Navigation überspringen
Universitätsbibliothek Heidelberg
Status: Präsenznutzung
Signatur: Toled   QR-Code
Standort: Bereichsbibl. Mathematik+ /
Exemplare: siehe unten
- Andere Auflagen/Ausgaben:
Bitte beachten Sie: Diese Liste ist ggf. unvollständig.
Wenn die Funktion 'Andere Auflagen/Ausgaben' nicht angeboten wird,
können dennoch in HEIDI andere Auflagen oder Ausgaben vorhanden sein.
Verfasser:Toledo, Sue   i
Titel:Tableau systems for first order number theory and certain higher order theories
Verf.angabe:Sue Toledo
Verlagsort:Berlin [u.a.]
Verlag:Springer
Jahr:1975
Umfang:339 S.
Illustrationen:graph. Darst.
Gesamttitel/Reihe:Lecture notes in mathematics ; 447
ISBN:3-540-07149-0
 0-387-07149-0
 978-3-540-07149-5
 978-0-387-07149-7
URL:Inhaltsverzeichnis: http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=2008964&custom_att_2=simple_viewer
 Cover: http://swbplus.bsz-bw.de/bsz01105803Xcov.htm
Schlagwörter:(s)Zahlentheorie   i
 (s)Mathematische Logik   i
Sprache:eng
Bibliogr. Hinweis: Online-Ausg.: Toledo, Sue: Tableau Systems for First Order Number Theory and Certain Higher Order Theories
RVK-Notation:SI 850   i
 CC 2600   i
SWB-PPN:01105803X
Verknüpfungen:→ Übergeordnete Aufnahme
Exemplare:

SignaturQRStandortStatus
ToledQR-CodeBereichsbibl. Mathematik+InformatikPräsenznutzung
Mediennummer: 34129142, Inventarnummer: 75/f 3320
Toled;;2. Ex.QR-CodeBereichsbibl. Mathematik+InformatikPräsenznutzung
Mediennummer: 34129143, Inventarnummer: 75/f 3342

Permanenter Link auf diesen Titel (bookmarkfähig):  http://katalog.ub.uni-heidelberg.de/titel/1036576   QR-Code
zum Seitenanfang