ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
検索結果一覧に戻る
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
Logic, computers, and sets / by Hao Wang
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
科学文化論(品)
116/W37
018707562X
103901
仮想書架
仮想書架
応用数学(越)
410.1/W 2
50000114507
114507
仮想書架
仮想書架
書誌詳細を非表示
出版情報
New York : Chelsea Pub. , c1970
大きさ
x, 651 p : illus ; 24 cm
一般注記
"Reprint, with minor alterations, of a work first published by Science Press at Peking in 1962 ... under the title A survey of mathematical logic."
Includes bibliographies
著者標目
*Wang, Hao, 1921-
件 名
LCSH:
Logic, Symbolic and mathematical
LCSH:
Machine theory
LCSH:
Set theory
分 類
LCC:
QA9
DC:
511/.3
本文言語
英語
書誌ID
TB10013461
ISBN
0828402450
NCID
BA07550750
巻冊次
ISBN:0828402450
目次/あらすじ
類似資料
1
Mathematical logic : an introduction to model theory / A.H. Lightstone ; edited by H.B. Enderton
2
A course in mathematical logic / Yu.I. Manin ; translated from the Russian by Neal Koblitz
: us,: gw
3
Logic for mathematicians / A.G. Hamilton
: pbk
4
A mathematical introduction to logic / Herbert B. Enderton
5
A course in mathematical logic / by J.L. Bell and M. Machover
6
An outline of mathematical logic : fundamental results and notions explained with all details / by Andrzej Grzegorczyk ; [translated from the original Polish by Olgierd Wojtasiewicz & Waclaw Zawadowski]
7
Model theory / Roland Fraïssé ; [translated by David Louvish]
: pbk
8
Laws of form / G. Spencer Brown
9
Relation and logical formula / Roland Fraïssé ; [translation edited by David Louvish]
10
Mathematical logic and formalized theories : a survey of basic concepts and results / Robert Rogers
: ne