The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives

The birth of model theory : Löwenheim's theorem in the frame of the theory of relatives

Enregistré dans:

Détails bibliographiques
Auteur principal:	Badesa, Calixto (19..-....). (Auteur)
Autres auteurs:	Maudsley, Michael (19..-....). (Traduction)
Support:	E-Book
Langue:	Anglais Espagnol
Publié:	Princeton : Princeton University Press, 2009.
Sujets:	Löwenheim, Leopold > (1878-1957). Théorie des modèles. Logique mathématique. Logic, Symbolic and mathematical. Model theory.
Autres localisations:	Voir dans le Sudoc
Accès en ligne:	Accès à l'E-book

Documents similaires

Théorie des ensembles et logique mathématique : des infinis mathématiques aux théorèmes de Gödel
par: Patarin, Jacques (1965-....).

Logique : fondements et applications
par: Le Barbenchon, Pierre (1996-....).

Complexité aléatoire et complexité organisée
par: Delahaye, Jean-Paul (1952-....; mathématicien).
Publié: (2009)

The golden ticket : P, NP, and the search for the impossible
par: Fortnow, Lance (1963-....).
Publié: (2013)

Three Views of Logic : Mathematics, Philosophy, and Computer Science
par: Loveland, Donald W..
Publié: (2014)

Le point aveugle : cours de logique.
par: Girard, Jean-Yves (1947-....).

The logician and the engineer : how George Boole and Claude Shannon created the information age
par: Nahin, Paul J. (1940-....).
Publié: (2011)

Analyse non standard
par: Diener, Francine.
Publié: (1989)

Informatique MP2I
par: Vercouter, Laurent (1974-....; informaticien).
Publié: (2021)

Informatique MP2IMPI : CPGE 1re et 2e années
par: Barra, Vincent (19..-....; chercheur en informatique de modélisation).

Circles disturbed : the interplay of mathematics and narrative
Publié: (2012)

String theory in a nutshell
par: Kiritsis, Elias (1962-....).
Publié: (2019)

Conservative parties and the birth of democracy
par: Ziblatt, Daniel (1972-....).

Paul Wilmott introduces quantitative finance
par: Wilmott, Paul.
Publié: (2007)

Extreme events : observations, modeling, and economics
Publié: (2016)

Risk modeling for hazards and disasters
par: MIchel, Gero.
Publié: (2017)

Principles of mathematical modeling
par: Dym, Clive L..

Mathematical modelling of zombies
Publié: (2014)

Dynamic copula methods in finance
par: Cherubini, Umberto.
Publié: (2012)

Animal models for the study of human disease
par: Conn, P. Michael (1949-2016).
Publié: (2013)

Szegö's theorem and its descendants : spectral theory for L² perturbations of orthogonal polynomials
par: Simon, Barry (1946-....).
Publié: (2010)

Analysis of Evolutionary Processes : The Adaptive Dynamics Approach and Its Applications
par: Dercole, Fabio (19..-....).

Modélisation mathématique en écologie : cours et exercices corrigés
par: Auger, Pierre (1953-....; biologiste).
Publié: (2015)

Concours Sésame : tout-en-un
par: Speller, Marie-Virginie (19..-....).
Publié: (2016)

Mathematical and physical fundamentals of climate change
par: Zhang, Zhihua.
Publié: (2014)

Introduction à la modélisation mathématique en biologie
par: Servi, Tamara (19..-....; maîtresse de conférences en logique mathématique).

La modélisation critique
par: Bouleau, Nicolas (1945-....).
Publié: (2014)

Numerical calculation of lubrication : methods and programs
par: Huang, Ping.
Publié: (2013)

Varieties of democracy : measuring two centuries of political change
par: Coppedge, Michael (1957-....).

Optimization for machine learning
par: Sra, Suvrit (1976-....).
Publié: (2011)

Experimental design in petroleum reservoir studies
par: Jamshidnezhad, Mohammad.
Publié: (2015)

Working with dynamic crop models : methods, tools, and examples for agriculture and environnement
par: Wallach, Daniel (1942-....; agronome).
Publié: (2013)

Modelling Radioactivity in the Environment
par: Scott, E. Marian.
Publié: (2003)

Galois theory
par: Cox, David A. (1948-....).
Publié: (2012)

From logic to logic programming
par: Doets, Kees.
Publié: (1994)

Earthquake and volcano deformation
par: Segall, Paul (1954-....).

Compressibility, Turbulence and High Speed Flow
par: Gatski, Thomas B..

L'ordre dans le chaos : vers une approche déterministe de la turbulence
par: Bergé, Pierre (1934-1997).
Publié: (1984)

A classical introduction to Galois theory
par: Newman, Stephen C..
Publié: (2012)

Flight dynamics principles : a linear systems approach to aircraft stability and control
par: Cook, Michael V..
Publié: (2012)

Université catholique de l'Ouest - Bibliothèques - 3 place André Leroy - BP10808 - 49008 ANGERS Cedex 1