Cargando…

The axiomatic method /

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Otros Autores:	Henkin, Leon, Suppes, Patrick, 1922-2014, Tarski, Alfred, 1901-1983
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Amsterdam : North-Holland, 1959.
Colección:	Studies in logic and the foundations of mathematics ; v. 27.
Temas:	Logic, Symbolic and mathematical > Congresses. Axioms > Congresses. Mathematics > Philosophy > Congresses. Logique symbolique et math�ematique > Congr�es. Axiomes > Congr�es. Math�ematiques > Philosophie > Congr�es. Axioms Logic, Symbolic and mathematical Mathematics > Philosophy Aphorisms and Proverbs Congress proceedings (reports) Sayings Conference papers and proceedings Sayings. Conference papers and proceedings. Proverbes. Actes de congr�es.
Acceso en línea:	Texto completo Texto completo Texto completo

Ejemplares similares

Direct and converse theorems : the elements of symbolic logic /
por: Gradshte�in, I. S. (Izrail� Solomonovich)
Publicado: (1963)

The axiom of choice /
por: Jech, Thomas J.
Publicado: (1973)

Problems in the philosophy of mathematics /
Publicado: (1967)

Logic, methodology, and philosophy of science VIII : proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 /
Publicado: (1989)

The theory of models proceedings.
Publicado: (1965)

Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic /
Publicado: (1982)

Foundations of set theory /
por: Fraenkel, Abraham Adolf, 1891-1965
Publicado: (1973)

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 /
Publicado: (1987)

Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984 /
Publicado: (1986)

Formal systems and recursive functions /
Publicado: (1965)

Logic, methodology, and philosophy of science VII : proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983 /
Publicado: (1986)

Logic Colloquium '82 : proceedings of the colloquium held in Florence, 23-28 August, 1982 /
Publicado: (1984)

Logic, methodology, and philosophy of science VI : proceedings of the Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover, 1979 /
Publicado: (1982)

Proceedings of the Herbrand symposium : Logic Colloquium '81 ... held in Marseilles, France, July 1981 /
Publicado: (1982)

Contributions to mathematical logic : Proceedings of the Logic Colloquium, Hannover 1966 /
Publicado: (1968)

Intuitionism and proof theory : Proceedings of the summer conference ; Aug 1968 /
Publicado: (1970)

Contributions to non-standard analysis
Publicado: (1972)

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

Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988 /
Publicado: (1989)

Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971 /
Publicado: (1973)

Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
Publicado: (1983)

Truth, syntax and modality : proceedings of the Temple University Conference on Alternative Semantics /
Publicado: (1973)

Mathematical logic and foundations of set theory : Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968. /
Publicado: (1970)

Patras Logic Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980 /
Publicado: (1982)

Logic Colloquium '77 : proceedings of the colloquium held in Wroc�aw, August 1977 /
Publicado: (1978)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 /
Publicado: (1980)

Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 /
Publicado: (1977)

Logic colloquium '78 : proceedings of the colloquium held in Mons, August 1978 /
Publicado: (1979)

Logic, methodology and philosophy of science : proceedings of the 1960 international congress /
Publicado: (1966)

Theoretical aspects of reasoning about knowledge : proceedings of the Fifth Conference (TARK 1994) /
Publicado: (1994)

Logic colloquium '73 : proceedings /
Publicado: (1975)

Theoretical aspects of reasoning about knowledge : proceedings of the 1986 conference, March 19-22, 1986, Monterey, California /
Publicado: (1986)

Logic, methodology, and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991 /
Publicado: (1994)

The history of modern mathematics : proceedings of the Symposium on the History of Modern Mathematics, Vassar College, Poughkeepsie, New York, June 20-24, 1989 /
Publicado: (1989)

Differential equations and applications in ecology, epidemics, and population problems : proceedings of a Conference on Differential Equations and Applications in Ecology, Epidemnics [sic], and Population Problems, held in Claremont, California, January 10-11, 1981 /
Publicado: (1981)

Proceedings of the third Scandinavian Logic Symposium /
Publicado: (1975)

EPMESC VII : International Conference on Enhancement and Promotion of Computational Methods in Engineering and Science : 2-5 August, 1999, Macao /
Publicado: (1999)

Proceedings of the Second Scandinavian Logic Symposium
Publicado: (1971)

Almost everywhere convergence II : proceedings of the International Conference on Almost Everywhere Convergence in Probability and Ergodic Theory, Evanston, Illinois, October 16-20, 1989 /
Publicado: (1991)

Microeconomic simulation models for public policy analysis /
Publicado: (1980)

Cannot write session to /tmp/vufind_sessions/sess_mia1f8jf0kc6ekjin6e6fnh24k