skip to main content
Résultats 1 2 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Versions multiples

Logique mathématique

Kleene, Stephen Cole (1909-1994) ; Largeault, Jean (1931?-1995)

Plusieurs versions trouvées
Il y a 4 versions

2
Material Type:
Versions multiples

Logique mathématique : cours et exercices. 1. Calcul propositionnel, algèbres de Boole, calcul des prédicats

Cori, René ; Lascar, Daniel (1942-....) ; Krivine, Jean-Louis

Plusieurs versions trouvées
Il y a 2 versions

3
Proof theory and automated deduction.
Material Type:
Livre
Ajouter à Mon espace

Proof theory and automated deduction.

Goubault-Larrecq, Jean. ; Mackie, Ian.

Dordrecht Boston London : Kluwer, 1997

Voir les exemplaires

4
Material Type:
Versions multiples

Logique mathématique : éléments de base calcul propositionnel, calcul des prédicats

Ponasse, Daniel. ; Debru, Claude, provenance (1944-....) ; Simon, Gérard, provenance (1931-2009) ; Martin, Roger, provenance (1920-1979)

Plusieurs versions trouvées
Il y a 2 versions

5
Material Type:
Versions multiples

Logique mathématique : cours et exercices corrigés. 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats

Cori, René ; Lascar, Daniel (1942-....) ; Krivine, Jean-Louis

Plusieurs versions trouvées
Il y a 2 versions

6
Material Type:
Versions multiples

Éléments de logique formelle

Chazal, Gérard

Plusieurs versions trouvées
Il y a 2 versions

7
Material Type:
Versions multiples

Introduction à la logique

Tarski, Alfred (1901-1983.) ; Tremblay, Jacques, S. J. ; Debru, Claude, provenance (1944-....)

Plusieurs versions trouvées
Il y a 3 versions

8
SCIENCE (THE) OF PROGRAMMING.
Material Type:
Livre
Ajouter à Mon espace

SCIENCE (THE) OF PROGRAMMING.

Berlin, Heidelberg : Springer, 1981

Voir les exemplaires

9
Temporal logic : mathematical foundations and computational aspects. Vol. 1
Material Type:
Livre
Ajouter à Mon espace

Temporal logic : mathematical foundations and computational aspects. Vol. 1

Gabbay, Dov M. (1945-....) ; Hodkinson, Ian. ; Reynolds, Mark C.

Oxford : Clarendon, 1994

Voir les exemplaires

10
Material Type:
Livre
Ajouter à Mon espace

LOGIQUE MODERNE. 1,LOGIQUE DES PROPOSITIONS ET DES PREDICATS.DEDUCTION NATURELLE.

PARIS : GAUTHIER-VILLARS, 1969

Disponible  et autres localisations

11
Material Type:
Livre
Ajouter à Mon espace

LOGIQUE MODERNE. 2,LOGIQUE DES PROPOSITIONS ET DES PREDICATS.TABLES DE VERITE ET AXIOMATISATION.

PARIS : GAUTHIER-VILLARS, 1971

Voir les exemplaires

12
Material Type:
Livre
Ajouter à Mon espace

Systèmes experts : organisation et programmation des bases de connaissance en calcul propositionnel

Delahaye, Jean-Paul (1952-....)

Paris : Eyrolles, DL 1987

Disponible(Obtenir)

13
Material Type:
Versions multiples

Foundations of mathematical logic

Curry, Haskell Brooks (1900-1982.)

Plusieurs versions trouvées
Il y a 2 versions

14
Logical foundations of computer science : proceedings
Material Type:
Acte de conférence
Ajouter à Mon espace

Logical foundations of computer science : proceedings

International symposium on logical foundations of computer science 3 1994 Saint-Pétersbourg, Russie. ; Nerode, Anil (1932-....) ; Matiâsevič, Ûrij Vladimirovič

Berlin New York Paris etc. : Springer-Verlag, 1994

Voir les exemplaires(Obtenir)

15
Systèmes formels : introduction à la logique et à la théorie des langages
Material Type:
Livre
Ajouter à Mon espace

Systèmes formels : introduction à la logique et à la théorie des langages

Benzaken, Claude

Paris Milan Barcelone etc : Masson, 1991

Disponible(Obtenir)

16
Material Type:
Livre
Ajouter à Mon espace

Introduction to mathematical logic. 1

Church, Alonzo (1903-1995.) ; Martin, Roger, provenance (1920-1979)

Princeton N.J. : Princeton University Press, 1956

Voir les exemplaires(Obtenir)

17
Material Type:
Versions multiples

Mathématiques de l'informatique : cours et exercices corrigés

Dehornoy, Patrick (1952-....)

Plusieurs versions trouvées
Il y a 2 versions

18
Material Type:
Versions multiples

Recursive function theory and logic

Yasuhara, Ann

Plusieurs versions trouvées
Il y a 2 versions

19
Material Type:
Livre
Ajouter à Mon espace

INTRODUCTION TO METAMATHEMATICS.

AMSTERDAM : NORTH-HOLLAND, 1967

Voir les exemplaires(Obtenir)

20
MATHEMATICAL FOUNDATIONS OF PROGRAMMING.
Material Type:
Livre
Ajouter à Mon espace

MATHEMATICAL FOUNDATIONS OF PROGRAMMING.

READING : Addison-Wesley, 1980

Voir les exemplaires(Obtenir)

Résultats 1 2 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Disponible (4)

Affiner les résultats

Type de ressource 

  1. Actes de conférence  (1)
  2. Livres  (20)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1967  (3)
  2. 1967 à 1978  (5)
  3. 1979 à 1986  (3)
  4. 1987 à 1994  (6)
  5. Après 1994  (5)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré