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 / 79 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
Description and Table of Contents
Table of Contents
First order number theory.- Second order logic.- Other higher order systems due to Schutte.
by "Nielsen BookData"