Infinitary Logic : :: SCD d'Orléans

Infinitary Logic : in Memoriam Carol Karp : A Collection of Papers by Various Authors

Infinitary Logic : in Memoriam Carol Karp : A Collection of Papers by Various Authors

Salvato in:

Dettagli Bibliografici
Altri autori:	Kueker, David W., 1943- (Direttore editoriale)
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in mathematics 492
Soggetti:	Théorie des modèles Mathématiques
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Biographie et bibliographie de Carol Ruth Karp Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Variante du titre:	Mélanges :, Karp, 1926-1972
Edition sous un autre format:	• Infinitary logic, in memoriam Carol Karp, a collection of papers by various authors, edited by D. W. Kueker, 1975, Berlin [etc.], Springer-Verlag, 1 vol. (206 p.), Lecture notes in mathematics, 0-387-07419-8 • Infinitary Logic, Texte imprimé, 9783662214145

Documenti analoghi

Infinitary logic : in memoriam Carol Karp : a collection of papers by various authors
Pubblicazione: (1975)

Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
di: Keisler, Howard Jerome, 1936-
Pubblicazione: (1971)

The Syntax and semantics of infinitary languages
di: Barwise, Jon, 1942-2000, logicien
Pubblicazione: (1968)

Infinitary combinatorics and the axiom of determinateness
di: Kleinberg, Eugène M.

Model Theory and Topoi : A Collection of Lectures by Various Authors

The Syntax and Semantics of Infinitary Languages
di: Barwise, Jon, 1942-2000, logicien

Logica Universalis : Towards a General Theory of Logic
di: Beziau, Jean-Yves

Intuitionistic logic model theory and forcing
di: Fitting, Melvin Chris, 1942-
Pubblicazione: (1969)

The logic of information structures
di: Wansing, Heinrich, 1963-

Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
Pubblicazione: (1977)

First order categorical logic : model-theoretical methods in the theory of topoi and related categories
di: Makkai, Mihály, 1939-, et al.

Logic, computers, and sets
di: Wang, Hao, 1921-
Pubblicazione: (1970)

Mathematical logic and model theory : a brief introduction
di: Prestel, Alexander, 1941-...., mathématicien, et al.

Sets, logic, and categories
di: Cameron, Peter J., 1947-...., mathématicien

Automata, logics, and infinite games
di: Grädel, Erich, 1958-

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia

Set theory and logic
di: Fraenkel, Abraham Adolf, 1891-1965
Pubblicazione: (1966)

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974

Modeling Complex Living Systems : a kinetic theory and stochastic game approach
di: Bellomo, Nicola, 1943-...., mathématicien

Algebra and logic : papers from the 1974 Summer research institute of the Australian Mathematical Society, Monash University, Australia
Pubblicazione: (1975)

Models and Sets : Proceedings of the Logic Colloquium held in Aachen, July 18 23, 1983

ISILC logic conference : proceedings of the International summer institute and logic colloquium, Kiel, 1974
Pubblicazione: (1975)

Formal models of communicating systems : languages, automata, and monadic second-order logic
di: Bollig, Benedikt
Pubblicazione: (2006)

Reduced forms of rational expectations models
di: Broze, Laurence, 1960-, et al.
Pubblicazione: (1990)

First-order dynamic logic
di: Harel, David, 1950-

Elements of mathematical logic and set theory
di: Słupecki, Jerzy, 1904-1987, et al.
Pubblicazione: (1967)

Stability and Wave Motion in Porous Media
di: Straughan, Brian

Modeling Complex Systems
di: Boccara, Nino, 1931-2018, mathématicien

Modeling Complex Systems
di: Boccara, Nino, 1931-2018, mathématicien

Computational Methods in Transport : Verification and Validation
di: Graziani, Frank

Eléments de logique mathématique : théorie des modèles
di: Kreisel, Georg, 1923-2015, et al.
Pubblicazione: (1967)

Collective action and exchange : a game-theoretic approach to contemporary political economy
di: Ferguson, William D., 1953-
Pubblicazione: (2013)

Evolution and the theory of games
di: Smith, John Maynard, 1920-2004
Pubblicazione: (1982)

Metamathematical investigation of intuitionistic arithmetic and analysis
di: Troelstra, Anne Sjerp

Hétérotopies musicales : modèles mathématiques de la musique
di: Jedrzejewski, Franck, 1958-
Pubblicazione: (2019)

Consumer demand and labor supply : goods, monetary assets, and time
di: Barnett, William Arnold
Pubblicazione: (1981)

Model theory and algebra : a memorial tribute to Abraham Robinson
di: Saracino, Daniel H., 1947-

Introduction to modeling of transport phenomena in porous media
di: Bear, Jacob, et al.
Pubblicazione: (1990)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
di: Loveland, Donald W., et al.
Pubblicazione: (2014)

Metamathematical investigation of intuitionistic arithmetic and analysis
di: Troelstra, Anne Sjerp
Pubblicazione: (1973)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales