Éléments de Logique Mathématique Théorie des Modèles

Georg Kreisel & J. L. Krivine

Dunod (1967) Copy BIBT_EX

Abstract

This article has no associated abstract. (fix it)

Cite

Plain text

BibTeX

Formatted text

Reference Manager

RefWorks

Options

Mark as duplicate

Find it on Scholar

Request removal from index

Translate to english

Revision history

Categories

Areas of Mathematics in Philosophy of Mathematics

Keywords

Logic, Symbolic and mathematical Mathematical models

Reprint years

Links

PhilArchive

Upload a copy of this work Papers currently archived: 91,881

External links

This entry has no external links. Add one.

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Sign in / register and customize your OpenURL resolver
Configure custom resolver

My notes

Sign in to use this feature

Similar books and articles

Cours de théorie des modèles: une introduction à la Logique mathématique contemporaine.Bruno Poizat - 1985

Introduction à la logique pertinente.François Rivenc - 2005 - Paris: Presses universitaires de France.

Review: Bruno Poizat, Cours de Theorie des Modeles. Une Introduction a la Logique Mathematique Contemporaine. [REVIEW]E. A. Palyutin - 1993 - Journal of Symbolic Logic 58 (3):1074-1075.

Logique mathématique appliquée.Hans Freudenthal - 1958 - Paris,: Gauthier-Villars.

Cours de logique mathématique. 3. Récursivité et constructibilité.Roland Fraïssé - 1975 - Gauthier-Villars Nauwelaerts.

Groupes stables: une tentative de conciliation entre la géométrie algébrique et la logique mathématique.Bruno Poizat - 1987

Précis de logique mathématique.Joseph M. Bochenski - 1948 - Bussum, Pays-Bas,: F. G. Kroonder.

Principes de logique et de philosophie mathématique.Octav Onicescu - 1971 - [București],: Éditions de l'Academie de la République Socialiste de Roumanie.

Elements of mathematical logic.Georg Kreisel - 1967 - Amsterdam,: North Holland Pub. Co.. Edited by J. L. Krivine.

Pensée, symbole, et représentation: logique et psychologie chez Frege et Husserl.Xavier Verley - 2004 - Chennevières-sur-Marne: Dianoïa.

Mathematical jurisprudence and mathematical ethics: a mathematical simulation of the evaluative and the normative attitudes to the rigoristic sub-systems of the positive law and of the natural-law-and-morals.Vladimir Olegovič Lobovikov - 1999 - Ekaterinburg: The Urals State University Press.

Les intuitions logiques d’Edgar Morin.Didier Dacunha-Castelle - 2011 - Hermès: La Revue Cognition, communication, politique 60 (2):, [ p.].

Review: G. Kreisel, J. L. Krivine, Elements of Mathematical Logic. [REVIEW]C. C. Chang - 1969 - Journal of Symbolic Logic 34 (1):112-112.

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.

How can I increase my downloads?

Citations of this work

Le réalisme des hypothèses et la Partial Interpretation View.Philippe Mongin - 1988 - Philosophy of the Social Sciences 18 (3):281-325.

Logique mathématique et philosophie des mathématiques.Yvon Gauthier - 1971 - Dialogue 10 (2):243-275.

Add more citations

References found in this work

No references found.

Add more references