ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
Mathematical logic : proceedings of the first Brazilian Conference / edited by Ayda I. Arruda, Newton C.A. da Costa, Rolando Chuaqui
(
Lecture notes in pure and applied mathematics
;
v. 39
)
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
応用数学(越)
410.8/L 5/39
50000135793
135793
仮想書架
仮想書架
書誌詳細を非表示
出版情報
New York : M. Dekker , c1978
大きさ
xii, 303 p. ; 26 cm
一般注記
"Sponsored by the Center of Logic, Epistemology, and History of Science, and by the Institute of Mathematics, Statistics, and Computing Science of the State University of Campinas."
Bibliography: p. 268-290
著者標目
*Brazilian Conference on Mathematical Logic
(1st : 1977 : Universidade Estadual de Campinas)
Arruda, Ayda I.
Costa, Newton C. A. da
Chuaqui, R.
Universidade Estadual de Campinas. Centro de Lógica, Epistemologia e História de Ciência
Universidade Estadual de Campinas. Instituto de Matemática, Estatística, e Ciência da Computação
件 名
LCSH:
Logic, Symbolic and mathematical
--
Congresses
全ての件名で検索
分 類
LCC:
QA9.A1
DC:
511/.3
本文言語
英語
書誌ID
TB10056998
ISBN
0824767721
NCID
BA01415402
巻冊次
ISBN:0824767721
目次/あらすじ
類似資料
1
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 / edited by R.O. Gandy, J.M.E. Hyland
2
Logic Colloquium '78 : proceedings of the colloquium held in Mons, August 1978 / edited by Maurice Boffa, Dirk van Dalen, Kenneth McAloon
3
Mathematical logic and foundations of set theory : Proceedings of an international colloquium held under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / ed. by Yehoshua Bar-Hillel
4
Cabal Seminar 76-77 : proceedings, Caltech-UCLA logic seminar 1976-77 / edited by A.S. Kechris and Y.N. Moschovakis
: Berlin,: New York
5
ISILC Logic Conference : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by G.H. Müller, A. Oberschelp, K. Potthoff
: gw,: u.s.
6
Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers] / edited by A.R.D. Mathias, H. Rogers
: Germany,: U.S.
7
Algebra and logic : papers from the 1974 summer research institute of the Australian Mathematical Society, Monash University, Australia / edited by J.N. Crossley
: Germany,: U.S.
8
Logic, foundations of mathematics, and computability theory / edited by Robert E. Butts and Jaakko Hintikka
: pbk
9
Logic Symposia, Hakone, 1979, 1980 : proceedings of conferences held in Hakone, Japan, March 21-24, 1979 and February 4-7, 1980 / edited by G.H. Müller, G. Takeuti, and T. Tugué
: Berlin,: New York
10
Logic year 1979-80 : the University of Connecticut, USA / edited by M. Lerman, J.H. Schmerl, and R.I. Soare
: Berlin,: New York