Logic Colloquium : symposium on logic held at Boston, 1972-73

edited by R. Parikh

[目次]

  • 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」より

この本の情報

書名 Logic Colloquium : symposium on logic held at Boston, 1972-73
著作者等 Boston Logic Colloquium
Parikh, Rohit
Parikh R.
シリーズ名 Lecture notes in mathematics
出版元 Springer-Verlag
刊行年月 1975
ページ数 251 p.
大きさ 25 cm
ISBN 0387071555
3540071555
NCID BA00215510
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想