Models and ultraproducts : an introduction / By J. L. Bell and A. B. Slomson.

Gardado en:

Detalles Bibliográficos
Publicado:	Amsterdam : North-Holland Pub. Co., 1969.
Autor Principal:	Bell, J. L. (John Lane)
Outros autores:	Slomson, A. B.
Subjects:	Model theory.
Formato:	Libro

Models and ultraproducts : an introduction /

Títulos similares

Models and ultraproducts /
por: Bell, J. L. (John Lane)
Publicado: (1971)

Admissible sets and structures : an approach to definability theory.
por: Barwise, Jon
Publicado: (1975)

Introduction to combinatory logic : [by] J.R.Hindley, B.Lercher and J.P.Seldin.
por: Hindley, J. Roger
Publicado: (1972)

An introduction to mathematics /
por: Whitehead, Alfred North, 1861-1947
Publicado: (1948)

Completeness, compactness, and undecidability : an introduction to mathematical logic.
por: Manaster, Alfred B.
Publicado: (1975)

An algebraic introduction to mathematical logic : [By] Donald W. Barnes [and] John M. Mack /
por: Barnes, Donald W.
Publicado: (1975)

Constructive formalism : essays on the foundations of mathematics.
por: Goodstein, R. L. (Reuben Louis), 1912-
Publicado: (1951)

Symbolic logic.
por: Venn, John, 1834-1923
Publicado: (1971)

Mathematical logic.
por: Monk, J. Donald (James Donald), 1930-
Publicado: (1976)

The philosophy of mathematics : Edited by Jaakko Hintikka.
Publicado: (1969)

Laws of form /
por: Spencer-Brown, G. (George)
Publicado: (1979)

Frege's conception of natural numbers as objects /
por: Wright, Crispin, 1942-
Publicado: (1983)

Mathematical logic.
por: Ponasse, Daniel
Publicado: (1973)

Paradoxes of the infinite.
por: Bolzano, Bernard, 1781-1848
Publicado: (1950)

Le grands courants de la pensee mathematique : Presentes par F. Le Lionnais.
Publicado: (1948)

Wittgenstein's lectures on the foundations of mathematics : Cambridge, 1939, from the notes of R.G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smythies /
por: Wittgenstein, Ludwig, 1889-1951
Publicado: (1976)

Notes on constructive mathematics.
por: Martin-Lof, Per, 1942-
Publicado: (1970)

An outline of mathematical logic : fundamental results and notions explained with all details.
por: Grzegorczyk, Andrzej
Publicado: (1974)

A profile of mathematical logic.
por: DeLong, Howard, 1936-
Publicado: (1971)

Intensional and higher-order modal logic : with applications to Montague semantics.
por: Gallin, Daniel
Publicado: (1975)

The consistency of the axiom of choice : and of the generalized continuum-hypothesis with the axioms of set theory.
por: Gödel, Kurt
Publicado: (1940)

Grundlagenkrise und Grundlagenstreit : Studie uber das normative Fundament der Wissenschaften am Beispiel von Mathematik und Sozialwissenschaft.
por: Thiel, Christian
Publicado: (1972)

Mathematik, Logik und Erfahrung.
por: Kraft, Viktor, 1880-
Publicado: (1970)

Les fondements des mathematiques : De la geometrie d'Euclide a la relativite generale et a l' intuitionisme.
por: Gonseth, Ferdinand, 1890-
Publicado: (1974)

Les mathematiques et la realite : essai sur la methode axiomatique.
por: Gonseth, Ferdinand, 1890-
Publicado: (1974)

Godel's proof /
por: Nagel, Ernest, 1901-
Publicado: (1959)

Mathematics in Aristotle /
por: Heath, Thomas Little, Sir, 1861-1940
Publicado: (1949)

The foundations of arithmetic : a logico-mathematical enquiry into the concept of number /
por: Frege, Gottlob, 1848-1925
Publicado: (1950)

The nature of mathematics : a critical survey /
por: Black, Max, 1909-
Publicado: (1933)

Towards a philosophy of modern mathematics /
por: Fang, Joong
Publicado: (1970)

Computation, logic, philosophy : a collection of essays /
por: Wang, Hao, 1921-
Publicado: (1990)

Notes on logic /
por: Lyndon, Roger C. (Roger Conant), 1917-
Publicado: (1966)

Bridge to abstract mathematics : mathematical proof and structures /
por: Morash, Ronald P.
Publicado: (1987)

Remarks on the foundations of mathematics /
por: Wittgenstein, Ludwig, 1889-1951
Publicado: (1956)

Logic Colloquium 2006
Publicado: (2009)

Logic Colloquium 2005 proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Athens, Greece, July 28-August 3, 2005 /
Publicado: (2007)

Model theory /
por: Chang, Chen Chung, 1927-
Publicado: (1990)

Model theory /
por: Hodges, Wilfrid
Publicado: (1993)

Model theory /
por: Chang, Chen Chung, 1927-
Publicado: (1973)

Studies in model theory /
Publicado: (1973)