検索結果
61 - 67
結果 /
67
検索語 '
'
コンテンツを見る
UPFind
0
件
(満杯)
言語
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
全フィールド
タイトル
著者
主題
請求記号
ISBN/ISSN
検索
詳細検索
UNIT LIBRARY:
College of Science
SUBJECT:
Logic, Symbolic and mathematical
フィルター表示 (2)
UNIT LIBRARY:
College of Science
SUBJECT:
Logic, Symbolic and mathematical
検索結果
検索結果
61 - 67
結果 /
67
検索語 '
'
, 処理時間: 0.01秒
結果の絞り込み
ソート
適合順
Newest to Oldest
Oldest to Newest
著者順
タイトル順
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
結果番号: 61を選択
61
Introductory formal logic of mathematics
著者:
Nidditch, P.H
出版事項 1957
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 62を選択
62
An Introduction to symbolic logic
著者:
Langer, Susanne K.
出版事項 1953
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 63を選択
63
Logic for mathematicians
著者:
Rosser, J. Barkley
出版事項 1953
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 64を選択
64
Induction and analogy in mathematics
著者:
Polya, George 1887-1985
出版事項 1953
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 65を選択
65
Translations from the philosophical writings of Gottlob Frege
著者:
Frege, Gottlob
出版事項 1952
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 66を選択
66
The theory of probability an inquiry into the logical and mathematical foundations of the calculus of probability
著者:
Reichenbach, Hans 1891-1953
出版事項 1949
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
結果番号: 67を選択
67
Principia mathematica
著者:
Whitehead, Alfred North 1861-1947
出版事項 1927
請求記号:
ロード中...
配架場所:
ロード中...
図書
ロード中...
図書バッグに追加
図書バッグから削除
ページを選択 | 選択資料の処理:
メール
エクスポート
印刷
図書バッグに追加
[1]
前ページ
1
2
3
4
5
6
7
検索ツール:
RSSフィード
—
検索結果をメール
戻る
絞込み検索
CAMPUS
Diliman
67
DATABASE
Union Catalog (Buklod)
67
UNIT LIBRARY
College of Science
Diliman Main Library: Social Sciences Section
2
Institute of Mathematics
2
College of Engineering Library II
1
National Institute of Physics
1
YEAR OF PUBLICATION
From:
To:
CLASSIFICATION
Q - 自然科学
67
SUBJECT
Logic, Symbolic and mathematical
Mathematics
12
Philosophy
6
Set theory
4
Algebra, Abstract
3
Combinatorial analysis
3
Artificial intelligence
2
Automatic theorem proving
2
Formal languages
2
Mathematics--Philosophy
2
Algebraic logic
1
Analogy
1
Arithmetic -- Foundations
1
Arithmetic--Foundations
1
Axioms
1
Calculus
1
Computable functions
1
Computational complexity
1
Computer Science
1
Computer science
1
Computer science --Mathematics
1
Concepts
1
Congresses
1
Enigma cipher system
1
Induction (Mathematics)
1
Inference
1
Logic programming
1
Machine theory
1
Mathematical -- Philosophy
1
Mathematical analysis
1
すべて見る ...
AUTHOR
Crossley, John N.
5
Lipschutz, Seymour
3
International Union of the History and Philosophy of Science. Division of Logic, Methodology and Philosophy of Science
2
Kreisel, Georg
2
Krivine, J. L.
2
Lipson, Marc
2
Mendelson, Elliott
2
Robbin, Joel W.
2
Association for Symbolic Logic
1
Barnes, Donald W.
1
Bibel, W.
1
Black, Max
1
Bulloff, Jack J.
1
Chang, Chin-Liang, 1937-
1
Cohen, Paul J., 1934-
1
Cohen, Robert S.
1
Conference on Automated Deduction Les Arcs, Savoie, France
1
Conference on Intuitionism and Proof Theory, State University of New York at Buffalo, 1968
1
Cooper, S. B.
1
Curry, Haskell B. (Haskell Brooks), 1900-
1
Delong, Howard
1
Dov M. Gabbay
1
Dummett, Michael A. E.
1
Durst, Lincoln K.
1
Eccles, Peter J.
1
Enderton, Herbert B.
1
Exner, Robert M.
1
Fenstad, Jens Erik
1
Fetisov, A. I.
1
Feyerabend, P.K
1
すべて見る ...
RESOURCE TYPE
図書
67
LANGUAGE
English
53
TUKLAS
: UP Libraries' Resource Discovery Tool
Copyright © 2020-2021. The University Library, University of the Philippines Diliman
ロード中...