ブックマーク登録
テキスト出力
メール送信
このページのURLをコピー
他アクションStudies in logic and the foundations of mathematics
書誌情報を取り込む- フォーマット
-
- 図書
- 出版情報
-
- Amsterdam ; Tokyo : North-Holland
- ISBN
-
-
9780720422009
[0720422000]
-
9780720422009
[0720422000]
- ISSN
-
- 0049237X
- 0049237X
- 書誌ID
-
- BA00099329
- 注記
-
- Publisher changes to Elsevier
- NCID:AA00851874
- E-Resources
-
Loading...
Loading...
Loading...
- 言語
-
- 言語名不明
図書
The foundations of mathematics : a study in the philosophy of science
Beth, Evert Willem
North-Holland, 1965
図書
The foundations of mathematics : a study in the philosophy of science
Beth, Evert Willem
North-Holland Pub. Co., 1959
図書
Handbook of mathematical logic
Barwise, Jon
Keisler, H. Jerome, 1936-
North-Holland Pub. Co., 1977
図書
Dictionary of symbols of mathematical logic
Feys, Robert, 1889-
Fitch, Frederic B. (Frederic Brenton), 1908-1987
North-Holland Pub. Co., c1969
図書
Elements of mathematical logic : (model theory)
Kreisel, Georg
Krivine, Jean-Louis
North-Holland Publishing Company, 1971
図書
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
Latin-American Symposium on Mathematical Logic
Arruda, Ayda I.
Costa, Newton C. A. da
Chuaqui, R.
North-Holland Pub. Co.
sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980
図書
Harvey Friedman's research on the foundations of mathematics
Friedman, Harvey, 1948-
Harrington, L. A.
North-Holland, 1985
図書
The foundations of intuitionistic mathematics : especially in relation to recursive functions
Kleene, Stephen Cole, 1909-
Vesley, Richard Eugene, 1932-
North-Holland Pub. Co., 1965
図書
Thirty years of foundational studies : lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964
Mostowski, Andrzhei︠a︡
Basil Blackwell, 1966
図書
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976
Latin-American Symposium on Mathematical Logic
Arruda, Ayda I.
Costa, Newton C. A. da
Chuaqui, R.
North-Holland Pub. Co.
sale distributors for the U.S.A. and Canada, Elsevier/North-Holland, 1977
図書
Combinatory logic
Curry, Haskell B. (Haskell Brooks), 1900-
Feys, Robert, 1889-
Craig, William
North-Holland Pub. Co., 1958-1972
図書
Foundations of set theory
Fraenkel, Abraham Adolf, 1891-1965
Bar-Hillel, Yehoshua
North-Holland, 1958
図書
Aspects of inductive logic
Hintikka, Jaakko, 1929-
Suppes, Patrick, 1922-
North Holland Pub. Co., 1966
図書
Many-valued logics
Rosser, J. Barkley (John Barkley), 1907-
Turquette, Atwell R. (Atwell Rufus), 1914-
North-Holland Pub. Co., 1952
図書
Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981
Southeast Asian Conference on Logic (1981 : Singapore)
Chong, Chi-Tat, 1949-
Wicks, M. J. (Malcolm John), 1928-
North-Holland
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1983
図書
Foundations of set theory
Fraenkel, Abraham Adolf, 1891-1965
Bar-Hillel, Yehoshua
Levy Azriel
North-Holland, 1973
図書
Quantification in nonclassical logic
Gabbay, Dov M., 1945-
Shehtman, V. B. (Valentin B.)
Skvortsov, D. P. (Dmitrij P.)
Elsevier, c2009
図書
Truth and consequence in mediaeval logic
Moody, Ernest A. (Ernest Addison), 1903-
North-Holland Pub. Co., 1953