戻る

この文献を取り寄せる

図書館へ購入を依頼する

この情報を出力する

このページのリンク

他の検索サイト

Studies in logic and the foundations of mathematics

データ種別 図書
出版者 Amsterdam ; Tokyo : North-Holland
書誌ID LT00540987

子書誌情報を非表示

1 The foundations of mathematics : a study in the philosophy of science / Evert Willem Beth 2nd rev. ed. - Amsterdam : North-Holland , 1965
2 Intuitionism and proof theory : proceedings of the summer conference at Buffalo, N.Y., 1968 / edited by A. Kino, J. Myhill and R.E. Vesley Amsterdam : North-Holland , 1970
3 Mathematical logic and foundations of set theory : proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968 / edited by Yehoshua Bar-Hillel Amsterdam : North-Holland , 1970
4 Elements of mathematical logic / G. Kreisel, J.L. Krivine Amsterdam : North-Holland , 1967
5 Dictionary of symbols of mathematical logic / edited by Robert Feys, Frederic B. Fitch Amsterdam : North-Holland , 1969
6 Constructive order types / John N. Crossley Amsterdam : North-Holland , 1969
7 Abstract set theory / Abraham Adolf Fraenkel 3rd rev. ed. - Amsterdam : North-Holland , 1966
8 The collected papers of Gerhard Gentzen / edited by M.E. Szabo Amsterdam : North-Holland , 1969
9 Constructible sets with applications / A. Mostowski Amsterdam : North-Holland , 1969
10 Axiomatic set theory / Paul Bernays ; with a historical introduction by Abraham A. Fraenkel Amsterdam : North-Holland , 1958
11 Introduction to model theory and to the metamathematics of algebra / Abraham Robinson Amsterdam : North-Holland , 1963
12 Contributions to mathematical logic / edited by H. Arnold Schmidt, K. Schütte, H.-J. Thiele Amsterdam : North-Holland , 1968
13 Undecidable theories / by Alfred Tarski, Raphael M. Robinson Amsterdam : North-Holland , 1968
14 Intuitionistic logic, model theory and forcing / M.C. Fitting Amsterdam : North-Holland , 1969
15 Equivalents of the axiom of choice / Herman Rubin and Jean E. Rubin Amsterdam : North-Holland , 1963
16 Non-standard analysis / Abraham Robinson Rev. ed. - Amsterdam : North-Holland , 1974
17 Recursive number theory : a development of recursive arithmetic in a logic-free equation calculus / by R.L. Goodstein Amsterdam : North-Holland , 1957
18 Computer programming and formal systems / edited by P. Braffort and D. Hirschberg Amsterdam : North-Holland Publishing , 1963
19 v. 62 Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler Amsterdam : North-Holland , 1971
20 v. 67 Foundations of set theory / Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levey ; with the collaboration of Dirk van Dalen 2nd rev. ed. - Amsterdam : North-Holland , 1973
21 v. 68 Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics / edited by Hugues Leblanc Amsterdam : North-Holland , 1973
22 v. 71 Word problems : decision problems and the Burnside problem in group theory / edited by W.W. Boone, F.B. Cannonito, R.C. Lyndon Amsterdam : North-Holland , c1973
23 v. 72 Logic in algebraic form : three languages and theories / William Craig Amsterdam : North-Holland , 1974
24 v. 75 The axiom of choice / Thomas J. Jech Amsterdam : North-Holland , 1973
25 v. 76 Set theory : an introduction to large cardinals / Frank R. Drake Amsterdam : North-Holland , 1974
26 v. 81 Proof theory / Gaisi Takeuti 2nd ed. - Amsterdam ; Tokyo : North-Holland , 1987
27 v. 85 Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin Amsterdam : North-Holland , 1976
28 v. 86 Set theory : with an introduction to descriptive set theory / K. Kuratowski and A. Mostowski 2nd completely rev. ed. - Amsterdam : North-Holland , 1976
29 v. 89 Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A.I. Arruda, N.C.A. da Costa, R. Chuaqui Amsterdam : North-Holland , 1977
30 v. 90 Handbook of mathematical logic / edited by Jon Barwise ; with the cooperation of H.J. Keisler ... [et al.] Amsterdam : North-Holland , 1977
31 v. 98 Topoi : the categorial analysis of logic / Robert Goldblatt Amsterdam : North-Holland , 1979
32 v. 100 Descriptive set theory / Yiannis N. Moschovakis Amsterdam : North-Holland , 1980
33 v. 102 Set theory : an introduction to independence proofs / Kenneth Kunen Amsterdam : North-Holland , 1980
34 v. 103 The lambda calculus : its syntax and semantics / H.P. Barendregt Rev. ed. - Amsterdam : North-Holland , 1984
35 v. 110 The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981. U.S. / edited by A.S. Troelstra and D. van Dalen Amsterdam : North-Holland , 1982
36 v. 118 Theory of relations / R. Fraïssé ; [translated by P. Clote] Amsterdam : North-Holland , 1986
37 v. 119 Foundations of infinitesimal stochastic analysis / K.D. Stroyan and José Manuel Bayod Amsterdam : North-Holland , 1986
38 v. 122 Logic Colloquium '85 : proceedings of the colloquium held in Orsay, France, July 1985 / edited by the Paris Logic Group Amsterdam ; Tokyo : North-Holland , 1987
39 v. 137 Handbook of proof theory / edited by Samuel R. Buss Amsterdam : Elsevier , 1998

書誌詳細を非表示

本文言語 英語
一般注記 Publisher changes to Elsevier
NCID BA00099329

 この資料を見た人はこんな資料も見ています

戻る