> Detailanzeige

Studies in logic and the foundations of mathematics

Literatur-
verwaltung

Direktlink

Zur
Merkliste

Lösche von
Merkliste

Per Email teilen

Auf Twitter teilen

Auf Facebook teilen

Per Whatsapp teilen

Als RIS exportieren Als BibTeX exportieren Als EndNote exportieren

Schließen

Merkliste

Medientyp: Schriftenreihe; Monographische Schriftenreihe
Titel: Studies in logic and the foundations of mathematics
Erschienen: Amsterdam [u.a.]: North-Holland Publ. Co. [u.a.], 1950-
Erscheinungsverlauf: [1.]1950 - [60.]1970; 61.1971 -
Sprache: Englisch
ISSN: 0049-237X
RVK-Notation: SK 130 : Logik und Grundlagen, Metamathematik,
CC 2400 : Einführungen, Handbücher, Sammelbände und Bibliografien
Schlagwörter: Monografische Reihe
Entstehung:
Anmerkungen: Ersch. unregelmäßig; anfangs ohne Zählung

> Verlagsreihe

Gabbay, Dov M. [VerfasserIn]; Šechtman, Valentin B. [VerfasserIn]; Skvortsov, Dmitrij P. [VerfasserIn]
153: Quantification in nonclassical logic 1 D. M. Gabbay; V. B. Shehtman; D. P. Skvortsov
Amsterdam; Heidelberg [u.a.]: Elsevier, 2009

Maddux, Roger D. [VerfasserIn]
150: Relation algebras Roger D. Maddux
Amsterdam; Heidelberg [u.a.]: Elsevier, 2006

Gabbay, Dov M. [Sonstige Person, Familie und Körperschaft]
148: Many-dimensional modal logics theory and applications D. M. Gabbay
Amsterdam; Heidelberg [u.a.]: Elsevier, 2003

Hirsch, Robin [VerfasserIn]; Hodkinson, Ian [VerfasserIn]
147: Relation algebras by games Robin Hirsch; Ian Hodkinson
Amsterdam [u.a.]: Elsevier, 2002

Barendregt, Hendrik P. [VerfasserIn] ; Barendregt, Hendrik Pieter [Sonstige Person, Familie und Körperschaft]
103: The lambda calculus its syntax and semantics Hendrik Pieter Barendregt
Amsterdam [u.a.]: North-Holland, 2001

Arnold, André [VerfasserIn]; Niwiński, Damian [VerfasserIn]
146: Rudiments of [my]-calculus A. Arnold; D. Niwiński
Amsterdam [u.a.]: Elsevier, 2001

Ash, Chris J. [VerfasserIn] ; Knight, Julia F. [Sonstige Person, Familie und Körperschaft]
144: Computable structures and the hyperarithmetical hierarchy C. J. Ash; J. Knight
Amsterdam [u.a.]: Elsevier, 2000

Jacobs, Bart [VerfasserIn]
141: Categorical logic and type theory Bart Jacobs
Amsterdam [u.a.]: Elsevier, 1999

Kracht, Marcus [VerfasserIn]
142: Tools and techniques in modal logic Marcus Kracht
Amsterdam [u.a.]: Elsevier, 1999

Odifreddi, Piergiorgio [VerfasserIn]
143: Classical recursion theory 2 Piergiorgio Odifreddi
Amsterdam: North-Holland, 1999

Buss, Samuel R. [Sonstige Person, Familie und Körperschaft]
137: Handbook of proof theory ed. by Samuel R. Buss
Amsterdam [u.a.]: Elsevier, 1998

Chang, Chen-Chung [VerfasserIn]; Chang, C. C. [VerfasserIn]; Keisler, H. J. [VerfasserIn] ; Keisler, H. Jerome [Sonstige Person, Familie und Körperschaft]
73: Model theory C.C. Chang and H.J. Keisler
Amsterdam [u.a.]: North-Holland, 1998

138: Handbook of recursive mathematics 1 Recursive model theory ed. by Yu. L. Ershov
Amsterdam: Elsevier, 1998

139: Handbook of recursive mathematics 2 Recursive algebra, analysis and combinatorics ed. by Yu. L. Ershov
Amsterdam: Elsevier, 1998

Rybakov, Vladimir V. [VerfasserIn]
136: Admissibility of logical inference rules Vladimir V. Rybakov
Amsterdam [u.a.]: Elsevier, 1997

Cantini, Andrea [VerfasserIn]
135: Logical frameworks for truth and abstraction an axiomatic study Andrea Cantini
Amsterdam [u.a.]: Elsevier, 1996

Chang, Chen-Chung [VerfasserIn] ; Keisler, H. Jerome [Sonstige Person, Familie und Körperschaft]
73: Model theory C.C. Chang and H.J. Keisler
Amsterdam [u.a.]: North-Holland, 1994

Benthem, Johan van [VerfasserIn]
130: Language in action categories, lambdas and dynamic logic Johan van Benthem
Amsterdam [u.a.]: North-Holland, 1994

Barwise, Jon [HerausgeberIn]
90: Handbook of mathematical logic ed. by Jon Barwise
Amsterdam [u.a.]: North-Holland Publ., 1993

Odifreddi, Piergiorgio [VerfasserIn]
125: Classical recursion theory [1] The theory of functions and sets of natural numbers Piergiorgio Odifreddi
Amsterdam: North-Holland, 1992

Benthem, Johan van [VerfasserIn]
130: Language in action categories, lambdas and dynamic logic Johan van Benthem
Amsterdam [u.a.]: North-Holland, 1991

Barwise, Jon [HerausgeberIn]
90: Handbook of mathematical logic ed. by Jon Barwise
Amsterdam [u.a.]: North-Holland Publ., 1991

Börger, Egon [VerfasserIn] ; Börger, Egon; Börger, Egon
128: Computability, complexity, logic E. Börger
Amsterdam [u.a.]: North Holland, 1989

Odifreddi, Piergiorgio [VerfasserIn] ; Odifreddi, Piergiorgio [Sonstige Person, Familie und Körperschaft]
125: Classical recursion theory [1] The theory of functions and sets of natural numbers Piergiorgio Odifreddi
Amsterdam: North-Holland, 1989

Ebbinghaus, Heinz-Dieter [HerausgeberIn]
129: Proceedings of the colloquium 1987 Proceedings of the Colloqium held in Granada, Spain, July 20 - 25, 1987
Amsterdam [u.a.]: North-Holland Publ. Comp., 1989

Fenstad, Jens E. [Sonstige Person, Familie und Körperschaft]
126: Logic, methodology, and philosophy of science 8 Moscow, 1987 / ed. by Jens Erik Fenstad
Amsterdam [u.a.]: North-Holland Publ. Co., 1989

Ferro, Ruggero [HerausgeberIn]
127: Proceedings of the colloquium 1988 Held in Padova Italy, August 22 - 31, 1988 / ed. by R. Ferro
Amsterdam [u.a.]: North-Holland Publ. Comp., 1989

Troelstra, Anne S. [VerfasserIn]; Dalen, Dirk van [VerfasserIn]
123: Constructivism in mathematics 2 A. S. Troelstra; D. van Dalen
Amsterdam: North-Holland, 1988

Troelstra, Anne S. [VerfasserIn]; Dalen, Dirk van [VerfasserIn]
121: Constructivism in mathematics 1 A. S. Troelstra; D. van Dalen
Amsterdam: North-Holland, 1988

Drake, F. R. [HerausgeberIn]
124: Proceedings of the colloquium 1986 Proceedings of the Colloqium held in Hull, UK, July 13 - 19, 1986
Amsterdam [u.a.]: North-Holland Publ. Comp., 1988

Takeuti, Gaisi [VerfasserIn]
81: Proof theory [based on a series of lectures given at the Symposium on Intuitionism and Proof Theory held at Buffalo, 1968] Gaisi Takeuti
Amsterdam [u.a.]: North Holland, 1987

122: Proceedings of the colloquium 1985 Proceedings of the Colloqium held in Orsay, France, July 1985
Amsterdam [u.a.]: North-Holland Publ. Comp., 1987

Fraïssé, Roland [VerfasserIn] ; Fraïssé, Roland
118: Theory of relations R. Frai͏̈ssé
Amsterdam [u.a.]: North-Holland, 1986

Hailperin, Theodore [VerfasserIn]
85: Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic and probability theory Theodore Hailperin
Amsterdam, Netherlands; New York: North-Holland Pub. Co, 1986

Marcus, Ruth Barcan [Sonstige Person, Familie und Körperschaft]
114: Logic, methodology, and philosophy of science 7 Salzburg, 1983 / ed. by Ruth Barcan Marcus
1986

Stroyan, K. D. [VerfasserIn]; Bayod, José Manuel [VerfasserIn] ; Stroyan, Keith D. [Sonstige Person, Familie und Körperschaft]
119: Foundations of infinitesimal stochastic analysis K. D. Stroyan and José Manuel Bayod
Amsterdam [u.a.]: North-Holland, 1986

Paris, Jeff B. [HerausgeberIn]
120: Proceedings of the colloquium 1984 Held in Manchester, UK, July 1984
Amsterdam [u.a.]: North-Holland Publ. Comp., 1986

Shapiro, Stewart [HerausgeberIn]
113: Intensional mathematics ed. by Stewart Shapiro
Amsterdam [u.a.]: North-Holland Publ., 1985

Barendregt, Hendrik P. [VerfasserIn]; Barendregt, Hendrik Pieter [VerfasserIn]
103: The lambda calculus its syntax and semantics H. P. Barendregt
Amsterdam [u.a.]: North-Holland, 1985

Harrington, Leo A. [HerausgeberIn]; Morley, M. D. [HerausgeberIn]; Friedman, Harvey [Sonstige Person, Familie und Körperschaft]
117: Harvey Friedman's research on the foundations of mathematics ed. by L. A. Harrington
Amsterdam [u.a.]: North-Holland, 1985

Henkin, Leon [VerfasserIn]; Monk, James Donald [VerfasserIn]; Tarski, Alfred [VerfasserIn]
115: Cylindric algebras 2 Leon Henkin; James D. Monk; Alfred Tarski
Amsterdam: North-Holland Pub.Comp., 1985

Rubin, Herman [VerfasserIn]; Rubin, Jean E. [VerfasserIn]
116: Equivalents of the axiom of choice 2 Herman Rubin; Jean E. Rubin
Amsterdam: North-Holland, 1985

Barendregt, Hendrik P. [VerfasserIn]
103: The Lambda calculus its syntax and semantics H. P. Barendregt
Amsterdam; New York; Oxford]: North-Holland, 1984

Goldblatt, Robert [VerfasserIn]
98: Topoi the categorial analysis of logic Robert Goldblatt
Amsterdam [u.a.]: North-Holland, 1984

Lolli, Gabriele [HerausgeberIn]
112: Proceedings of the colloquium 1982 Held in Florence 23 - 28 August, 1982
1984

Erdös, Paul [Sonstige Person, Familie und Körperschaft]
106: Combinatorial set theory partition relations for cardinals Paul Erdös
Amsterdam [u.a.]: North-Holland Publ. Co., 1984

Chong, Chi-Tat [HerausgeberIn]
111: Southeast Asian Conference on Logic proc. of the Logic Conference, Singapore, 1981 ed. by C.-T. Chong
Amsterdam [u.a.]: North-Holland, 1983

Metakides, George [HerausgeberIn]
109: Patras Logic Symposion proceedings of the Logic Symposium held at Patras, Greece, August 18 - 22, 1980 ed. by George Metakides
Amsterdam [u.a.]: North-Holland Publ., 1982

Troelstra, Anne S. [HerausgeberIn]; Dalen, Dirk van [Sonstige Person, Familie und Körperschaft]; Brouwer, Luitzen E. J. [GefeierteR]
110: The L. E. J. Brouwer Centenary Symposium proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981 ed. by A. S. Troelstra and D. van Dalen
Amsterdam [u.a.]: North-Holland Publ. Comp., 1982

Stern, Jacques [HerausgeberIn]; Herbrand, Jacques [GefeierteR]
107: Proceedings of the Herbrand Symposium Logic Colloquium '81 ... held in Marseilles, France, July 1981 ed. by Jacques Stern
Amsterdam [u.a.]: North-Holland Publ. Comp., 1982

Fitting, Melvin [VerfasserIn]
105: Fundamentals of generalized recursion theory Melvin Fitting
Amsterdam [usw.]: North-Holland Publ. Co., 1981

Barendregt, Hendrik P. [VerfasserIn] ; Barendregt, Hendrik Pieter [Sonstige Person, Familie und Körperschaft]
103: The Lambda calculus its syntax and semantics H. P. Barendregt
Amsterdam [u.a.]: North-Holland Publ. Co., 1981

Moschovakis, Yiannis Nicholas [VerfasserIn] ; Moschovakis, Yiannis N. [Sonstige Person, Familie und Körperschaft]
100: Descriptive set theory Yiannis N. Moschovakis
Amsterdam [u.a.]: North-Holland, 1980

Adjan, Sergej I. [Sonstige Person, Familie und Körperschaft]
95: Word problems 2 The Oxford book : [Working Conference Decision Problems in Algebra, held in Oxford 1976] / ed. by S. I. Adian
Amsterdam: North-Holland Publ. Comp., 1980

Kunen, Kenneth [VerfasserIn]
102: Set theory an introduction to independence proofs Kenneth Kunen
Amsterdam [u.a.]: North-Holland Publ., 1980

Arruda, Ayda I. [HerausgeberIn]
99: Mathematical logic in Latin America proceedings of the 4. Latin American Symposium on Mathematical Logic held in Santiago, Dec. 1978 ed. by A. I. Arruda
Amsterdam [u.a.]: North-Holland, 1980

Barwise, Jon [HerausgeberIn]; Kleene, Stephen Cole [GefeierteR]; Cole, Stephen [Sonstige Person, Familie und Körperschaft]
101: The Kleene Symposium proceedings of the symposium, held june 18 - 24, 1978 at Madison, Wisconson, U.S.A. ed. by Jon Barwise
Amsterdam [usw.]: North-Holland Publ. Co., 1980

Mostowski, Andrzej [VerfasserIn]
93: Foundational studies 1 Andrzej Mostowski
Amsterdam: North-Holland, 1979

Mostowski, Andrzej [VerfasserIn]
93: Foundational studies 2 Andrzej Mostowski
Amsterdam: North-Holland, 1979

97: Proceedings of the colloquium 1978 Held in Mons, August 1978
1979

Goldblatt, Robert [VerfasserIn]
98: Topoi the categorial analysis of logic Robert Goldblatt
Amsterdam [u.a.]: North-Holland Publ., 1979

Fenstad, Jens E. [Sonstige Person, Familie und Körperschaft]
94: Generalized recursion theory 2 Proceedings of the 1977 Oslo Symposium / ed. by Jens E. Fenstad
Amsterdam [u.a.]: North-Holland, 1978

Shelah, Saharon [VerfasserIn]
92: Classification theory and the number of non-isomorphic models S. Shelah
Amsterdam [u.a.]: North-Holland, 1978

Macintyre, Angus [HerausgeberIn]; McIntyre, Angus [HerausgeberIn]
96: Logic Colloquium '77 proceedings of the colloquium held in Wrocław, August 1977 ed. by Angus MacIntyre
Amsterdam [u.a.]: North-Holland Publ., 1978

Szabo, Fred [VerfasserIn]
88: Algebra of proofs M. E. Szabo
Amsterdam [u.a.]: North-Holland, 1978

Williams, Neil H. [VerfasserIn]
91: Combinatorial set theory Neil H. Williams
Amsterdam [u.a.]: North-Holland, 1977

Arruda, Ayda I. [HerausgeberIn]
89: Non-classical logics, model theory, and computability proceedings of the third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11 - 17, 1976 ed. by Ayda I. Arruda
Amsterdam [u.a.]: North-Holland, 1977

Gandy, Robin O. [HerausgeberIn]; Hyland, J. M. E. [HerausgeberIn]
87: Logic Colloquium 76 proceedings of a conference held in Oxford in July 1976 ed. by R. O. Gandy; J. M. E. Hyland
Amsterdam [u.a.]: North-Holland Publ., 1977

Hailperin, Theodore [VerfasserIn]
85: Boole's logic and probability a critical exposition from the standpoint of contemporary algebra, logic, and probability theory Theodore Hailperin
Amsterdam [u.a.]: North-Holland Publ., 1976

Dickmann, Max [VerfasserIn]
83: Large infinitary languages model theory M. A. Dickmann
Amsterdam: North-Holland Publ. [u.a.], 1975

Rose,H.E [HerausgeberIn]; Rose, H.E [HerausgeberIn]; Shepherdson, J. C. [HerausgeberIn]
80: Logic Colloquium '73 proceedings of the colloquium held in Bristol, July 1973 ed. by H.E. Rose
Amsterdam [u.a.]: North-Holland Publ. [u.a.], 1975

Kanger, Stig [HerausgeberIn]
82: Proceedings of the Third Scandinavian Logic Symposium ed. by Stig Kanger
Amsterdam: North-Holland Publ. [u.a.], 1975

80: Proceedings of the colloquium 1973 Bristol. July 1973
1975

Takeuti, Gaisi [VerfasserIn]
81: Proof theory Gaisi Takeuti
Amsterdam [u.a.]: North-Holland Publ., 1975

Kanger, Stig [Sonstige Person, Familie und Körperschaft]
82: Proceedings of the ... Scandinavian Logic Symposium 3 Uppsala, April 9-11, 1973
1975

Rasiowa, Helena [VerfasserIn]
78: An algebraic approach to non-classical logics Helena Rasiowa
Amsterdam [u.a.]: North-Holland Publ. Co. [u.a.], 1974

Fenstad, Jens E. [Sonstige Person, Familie und Körperschaft]
79: Generalized recursion theory [1] Proceedings of the 1972 Oslo Symposium / [Hrsg.] Jens E. Fenstadt ... - 1974
1974

Craig, William [VerfasserIn]
72: Logic in algebraic form three languages and theories William Craig
Amsterdam [u.a.]: North-Holland, 1974

Moschovakis, Yiannis Nicholas [VerfasserIn]; Moschovakis, Yiannis N. [VerfasserIn]
77: Elementary induction on abstract structures Yiannis N. Moschovakis
Amsterdam [u.a.]: North-Holland Publ. [u.a.], 1974

Drake, Frank R. [VerfasserIn]
76: Set theory an introduction to large cardinals Frank R. Drake
Amsterdam [u.a.]: North-Holland [u.a.], 1974

Fraenkel, Abraham Adolf [VerfasserIn]; Bar-Hillēl, Yehôšuaʿ [VerfasserIn]; Levy, Azriel [VerfasserIn]
67: Foundations of set theory Abraham A. Fraenkel; Yehoshua Bar-Hillel; Azriel Levy
Amsterdam [u.a.]: North-Holland Publ., 1973

Leblanc, Hugues [HerausgeberIn]
68: Truth, syntax and modality proceedings of the Temple University Conference on Alternative Semantics, Dec. 29-30,1970 ed. by Hugues Leblanc
Amsterdam: North-Holland, 1973

Boone, William [Sonstige Person, Familie und Körperschaft]
71: Word problems [1] Decision problems and the Burnside problem in group theory : Conference 'Decision Problems in Group Theory', held at the Univ. of Calif., Irivine, Sept. 1969 / ed. by W. W. Boone
Amsterdam: North-Holland Publ. Comp., 1973

Jech, Thomas J. [VerfasserIn]
75: The axiom of choice Thomas J. Jech
Amsterdam: North-Holland Publ. Co., 1973

Chang, Chen-Chung [VerfasserIn]; Keisler, H. Jerome [VerfasserIn] ; Chang, Chen Chung [Sonstige Person, Familie und Körperschaft]
73: Model theory C. C. Chang and H. J. Keisler
Amsterdam [u.a.]: North-Holland Publ. Comp., 1973

Curry, Haskell B. [VerfasserIn]; Hindley, James Roger [VerfasserIn]; Seldin, Jonathan P. [VerfasserIn]
65: Combinatory logic 2 / Haskell B. Curry; J. Roger Hindley; Jonathan P. Seldin Haskell B. Curry
Amsterdam: North-Holland Publ., 1972

Luxemburg, Wilhelmus A. J. [HerausgeberIn]
69: Contributions to non-standard analysis lectures given at the Symposium on Non-standard Analysis which took place in Oberwolfach during the period July 19 - July 25, 1970 ed. by W. J. A. Luxemburg
Amsterdam; London: North-Holland Publ., 1972

Henkin, Leon [VerfasserIn]; Monk, James Donald [VerfasserIn]; Tarski, Alfred [VerfasserIn]
64: Cylindric algebras 1 Leon Henkin; J. Donald Monk; Alfred Tarski
Amsterdam [u.a.]: North-Holland Publ., 1971

Malʹcev, Anatolij I. [VerfasserIn] ; Wells, Benjamin Franklin [HerausgeberIn]
66: Metamathematics of algebraic systems: Collected papers: 1936-1967 Anatolii Ivanovič Mal'cev. Transl., ed., and provided with suppl. notes by Benjamin Franklin Wells
Amsterdam [u.a.]: North-Holland Publ., 1971

Gandy, Robin O. [HerausgeberIn]; Yates, C. M. E. [Sonstige Person, Familie und Körperschaft]
61: Logic Colloquium '69 proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August 1969 ed. by Robin O. Gandy; C. M. E. Yates
Amsterdam: North-Holland Publ. Co., 1971

Keisler, H. Jerome [VerfasserIn]; Keisler, Howard Jerome [VerfasserIn]
62: Model theory for infinitary logic logic with countable conjunctions and finite quantifiers H. Jerome Keisler
Amsterdam [u.a.]: North-Holland Publ., 1971

61: Proceedings of the Summer School and Colloquium in Mathematical Logic 1969 Manchester, Aug. 1969
1971

Mostowski, Andrzej [VerfasserIn]
[47]: Constructible sets with applications A. Mostowski
Amsterdam: North-Holland [u.a.], 1969

65: Combinatory logic 1 2. print Haskell B. Curry
Amsterdam: North-Holland Publ., 1968

Schmidt, Arnold [HerausgeberIn]
[43]: Contributions to mathematical logic proceedings of the Logic Colloquium, Hannover 1966 ed. by H. Arnold Schmidt
Amsterdam: North-Holland, 1968

Rootselaar, Bob van [Sonstige Person, Familie und Körperschaft]
[44]: Logic, methodology, and philosophy of science 3 Amsterdam 1967 / ed. by B. van Rootselaar
1968

Fraenkel, Abraham Adolf [VerfasserIn]
[9]: Abstract set theory Abraham A. Fraenkel
Amsterdam: North-Holland, 1966

Karp, Carol R. [VerfasserIn]
[23]: Languages with expressions of infinite length Carol R. Karp
Amsterdam: North-Holland, 1964

Braffort, Paul [HerausgeberIn]
[20]: Computer programming and formal systems ed. by Paul Braffort
Amsterdam: North-Holland Publ. Comp., 1963

Fraenkel, Abraham Adolf [VerfasserIn]
[9]: Abstract set theory Abraham A. Fraenkel
Amsterdam: North-Holland Publ. Co., 1961

Freudenthal, Hans [VerfasserIn]
[19]: Lincos 1 Hans Freudenthal
Amsterdam: North-Holland Publ., 1960

Heyting, Arend [HerausgeberIn]
[15]: Constructivity in mathematics proceedings of the colloquium held at Amsterdam, 1957 ed. by A. Heyting
Amsterdam: North-Holland Publ., 1959

Fraenkel, Abraham Adolf [VerfasserIn]
[9]: Abstract set theory Abraham A. Fraenkel
Amsterdam: North-Holland Publ. Co., 1953

Rosser, John Barkley [VerfasserIn] ; Turquette, Atwell R. [Sonstige Person, Familie und Körperschaft]
[5]: Many-valued logics J. Barkley Rosser; Atwell R. Turquette
Amsterdam: North-Holland Pub. Co., 1952

Nur in Feld suchen:

Zuletzt gesuchte Begriffe: