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

Enregistré dans:

Bibliografiske detaljer
Andre forfattere:	Kueker, David W, 1943- (Directeur de la publication)
Format:	Livre papier
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer-Verlag 1975.
Serier:	Lecture notes in mathematics. Series Department of Mathematics, University of Maryland, College Park 492
Fag:	Théorie des modèles
Kommentar:	Biographie et bibliographie de Carol Ruth Karp Portrait en frontispice
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 David W. Kueker, Berlin [etc.], Springer, 201X, Lecture Notes in Mathematics, 978-3-540-37949-2

Lignende værker

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

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

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

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

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

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

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

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

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

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

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

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

Sets, models and recursion theory : proceedings of the Summer School in Mathematical Logic and tenth Logic Colloquium, Leicester, August-September 1965
Udgivet: (1967)

Logic, computers, and sets
af: Wang, Hao, 1921-
Udgivet: (1970)

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

Set theory and logic
af: Fraenkel, Abraham Adolf, 1891-1965
Udgivet: (1966)

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

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

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

Axiomatising the logic of computer programming
af: Goldblatt, Robert, 1949-

Logic and Computation
Udgivet: (2023)

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

The metamathematics of algebraic systems : collected papers : 1936-1967
af: Mal'cev, Anatolii Ivanovič, 1909-1967, mathématicien
Udgivet: (1971)

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

Modern logic and quantum mechanics
af: Wallace Garden, Rachel, 19..-
Udgivet: (1984)

Quantum probability - quantum logic
af: Pitowsky, Itamar, 1950-2010

Hybrid logic and its proof-theory
af: Bräuner, Torben, 1962-

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

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

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

Fundamentals of switching theory and logic design : a hands on approach
af: Astola, Jaakko, 1949-...., mathématicien, et autres
Udgivet: (2006)

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

Elements of mathematical logic and set theory
af: Słupecki, Jerzy, 1904-1987, et autres
Udgivet: (1967)

Model theory and applications : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 20-28, 1975
af: Mangani, Piero, 1935-2013, mathématicien
Udgivet: (2011)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
af: Loveland, Donald W., et autres
Udgivet: (2014)

Models and ultraproducts : an introduction
af: Bell, John Lane, 1945-, et autres
Udgivet: (1971)

Lectures on model theory. Summer 1973
af: Gostanian, Richard, 1945-
Udgivet: (1974)

Saturated model theory
af: Sacks, Gerald, 1933-2019
Udgivet: (1972)

Finite model theory
af: Ebbinghaus, Heinz-Dieter, 1939-, et autres

Models of ZF-Set Theory
af: Felgner, Ulrich, 1941-

© 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