メインコンテンツに移動

Studies in logic and the foundations of mathematics

書誌情報を取り込む
フォーマット
  • 図書
出版情報
  • Amsterdam ; Tokyo : North-Holland
ISBN
  • 9780720422009 [0720422000]
ISSN
  • 0049237X CiNii
書誌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
図書

A survey of mathematical logic

Wang, Hao, 1921-
Science Press North-Holland, 1963
図書

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
図書

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
図書

Ancient formal logic

Bochenski, Joseph M., 1902-
North-Holland, 1951
図書

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