Logic Colloquium : symposium on logic held at Boston, 1972-73
著者
書誌事項
Logic Colloquium : symposium on logic held at Boston, 1972-73
(Lecture notes in mathematics, 453)
Springer-Verlag, 1975
- : Germany
- : U.S.
大学図書館所蔵 件 / 全75件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Based on talks at the Boston Logic Colloquium in 1972-73
Includes bibliographies
内容説明・目次
目次
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.
「Nielsen BookData」 より