Tableau systems for first order number theory and certain higher order theories
Author(s)
Bibliographic Information
Tableau systems for first order number theory and certain higher order theories
（Lecture notes in mathematics, 447）
Springer-Verlag, 1975
- : Germany
- : U.S.
Available at / 78 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyL/N||LNM||4472126562
-
University of Toyama Library, Central Library図
: Germany410.7||L49||44790079426,
410.9||T58||Ta00088798 -
Hokkaido University, Faculty and Graduate School of Engineering図書
: GermanyDC16:510/L4973520831195
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: Germany510/L4972020880934
-
No Libraries matched.
- Remove all filters.
Note
Bibliography: p. [335]-339
