TY - `BOOK` AU - Toledo, Sue TI - Tableau systems for first order number theory and certain higher order theories PB - Springer CY - Berlin [u.a.] PY - 1975 LA - eng SE - 339 S. T2 - Lecture notes in mathematics M1 - 447 N1 - Literaturverz. S. 335 - 339 SN - 3-540-07149-0 SN - 0-387-07149-0 SN - 978-3-540-07149-5 SN - 978-0-387-07149-7 KW - Zahlentheorie KW - Mathematische Logik CN - Toled CN - Toled AN - UBHD-1036576 ER -