Logic Colloquium : symposium on logic held at Boston, 1972-73
Author(s)
Bibliographic Information
Logic Colloquium : symposium on logic held at Boston, 1972-73
(Lecture notes in mathematics, 453)
Springer-Verlag, 1975
- : Germany
- : U.S.
Available at / 75 libraries
-
Science and Technology Library, Kyushu University
: Germany410.8/L 493/(453)068582181018056,
SER/LNM/453068222480034667 -
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyL/N||LNM||4532128016
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: Germany510/L4972020886018
-
No Libraries matched.
- Remove all filters.
Note
Based on talks at the Boston Logic Colloquium in 1972-73
Includes bibliographies
Description and Table of Contents
Table of Contents
Combinatorial functors.- Equality between functionals.- The use of abstract language in elementary metamathematics: Some pedagogic examples.- Weak monadic second order theory of succesor is not elementary-recursive.- The variable.- Abolition of the fregean axiom.- A realizability interpretation of the theory of species.
by "Nielsen BookData"