Catalogue SUDOC

Copyright © 2021 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?

rechercher (et)

(Mots du titre)

Fonctions récursives

| 19 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
récursives	Mots du titre	[45]
fonctions	Mots du titre	[16239]

	1.	Langage PASCAL et logique du premier ordre. Tome 1, Programmation en PASCAL - Prédicats - Systèmes formels - Fonctions récursives Margenstern, Maurice / 1989
	2.	Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices Cori, René / 2e tirage corrigé / Masson / 1994, cop. 1993
	3.	Logique mathématique. II, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices Cori, René / 1993
	4.	Logique mathématique : cours et exercices Cori, René / Masson / 1993
	5.	Logique mathématique. 2, Fonctions récursives, théorème de Gödel, théorie des ensembles, théorie des modèles : cours et exercices corrigés Cori, René / 2003
	6.	Majoration des fonctions oméga : :(1) CK-récursives par des oméga-échelles primitives-récursives Masseron, Marcel / [s.n.] / 1980
	7.	Fonctions récursives Grzegorczyk, Andrzej (1922-.... ; philosophe) / Gauthier-Villars : E. Nauwelaerts / 1961
	8.	Algorithmes et fonctions récursives Malʹt︠s︡ev, A. I. (Anatoliĭ Ivanovich) (1909-1967) / Office des publications universitaires / [1980]
	9.	Théorie des fonctions récursives et applications Lacombe, D. / C.N.R.S. : Institut Blaise Pascal / 1962
	10.	Fonctions récursives générales dans le calcul des constructions Balaa, Antonia (1974-....) / 2002