skip to main content
Résultats 1 2 3 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Livre
Ajouter à Mon espace

El desarrollo de la teoría de la cuantificación

Van Heijenoort, Jean (1912-1986.)

México : Universidad Autónoma de México, 1976

Voir les exemplaires

2
Material Type:
Versions multiples

Büchi's monadic second order successor arithmetic

Siefkes, Dirk ; Müller, Gert Heinz (1923-....)

Plusieurs versions trouvées
Il y a 3 versions

3
Material Type:
Livre
Ajouter à Mon espace

Logique moderne. Fascicule II. Logique des propositions et des prédicats, tables de vérité et axiomatisation

Grize, Jean Blaise (1922-2013) ; Buser, Pierre, provenance (1921-2013)

Paris La Haye Paris : Mouton Gauthier-Villars, 1971

Voir les exemplaires

4
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

5
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

6
Worlds, times and selves
Material Type:
Livre
Ajouter à Mon espace

Worlds, times and selves

Prior, Arthur Norman (1914-1969.) ; Fine, Kit (1946-....)

London : Duckworth, 1977

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

GRUNDZUEGE DER THEORETISCHEN LOGIK. = FONDEMENTS DE LA LOGIQUE THEORIQUE

Ackermann, Wilhelm, mathématicien (1896-1962) ; Hilbert, David (1862-1943)

Berlin, Heidelberg : Springer, 1959

Voir les exemplaires

8
Material Type:
Versions multiples

Éléments de logique formelle

Chazal, Gérard

Plusieurs versions trouvées
Il y a 2 versions

9
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

10
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

11
The decision problem : solvable classes of quantificational formulas
Material Type:
Livre
Ajouter à Mon espace

The decision problem : solvable classes of quantificational formulas

Dreben, Burton ; Goldfarb, Warren D. (1949-....)

Reading, Mass. London Amsterdam : Addison-Wesley Pub. Co., Advanced Book Program, 1979

Voir les exemplaires

12
Material Type:
Livre
Ajouter à Mon espace

Complete evaluation of Horn clauses = Evaluation complète des clauses de Horn : an automata theoretic approach une approche par la théorie des automates

Lang, Bernard

Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1988

Voir les exemplaires

13
Predicate calculus and program semantics
Material Type:
Livre
Ajouter à Mon espace

Predicate calculus and program semantics

Dijkstra, Edsger Wybe ; Scholten, Carel S.

Berlin, New York, Paris : Springer, 1993

Voir les exemplaires

14
Material Type:
Versions multiples

Méthodes de logique

Quine, Willard Van Orman (1908-2000) ; Clavelin, Maurice (1927-....) ; Dupont, Jean-Yves, provenance (1951-2011)

Plusieurs versions trouvées
Il y a 4 versions

15
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

16
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

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

SCIENCE (THE) OF PROGRAMMING.

Berlin, Heidelberg : Springer, 1981

Voir les exemplaires

18
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

19
Logique. volume 1. Méthodes pour l'informatique fondamentale
Material Type:
Livre
Ajouter à Mon espace

Logique. volume 1. Méthodes pour l'informatique fondamentale

Gochet, Paul (1932-2011) ; Gribomont, Pascal

Paris : Hermès, 1990

Voir les exemplaires

20
Subsystems of second order arithmetic
Material Type:
Livre
Ajouter à Mon espace

Subsystems of second order arithmetic

Simpson, Stephen George (1945-....)

Berlin New York : Springer, 1999

Voir les exemplaires

Résultats 1 2 3 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

N'afficher que

  1. Ressources en ligne (1)
  2. Disponible (9)

Affiner les résultats

Type de ressource 

  1. Livres  (40)
  2. Thèses  (4)
  3. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1970  (7)
  2. 1970 à 1978  (8)
  3. 1979 à 1986  (10)
  4. 1987 à 1994  (13)
  5. Après 1994  (9)
  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é