Accueil
Liste de notices

54 Notices bibliographiques

Votre Recherche

Recherche simple :

Fonctions récursives

Sujets

Récursivité, Théorie de la

Sauvegarder votre recherche

Affiner

Accès en ligne

Ressource électronique acquise (20)

Nature de document

Texte imprimé et livre numérique (54)
Documents électroniques (20)

Localisation

Bibliothèque du Haut-de-jardin (23)
- Ressource électronique acquise (20)
- Libre accès - Sciences et Techniques (salle C) (3)
Bibliothèque de recherche (50)
- Ressource électronique acquise (20)
- François Mitterrand (30)

Auteurs, contributeurs...

Smullyan, Raymond M. (1919-2017) (5)
Fenstad, Jens Erik (1935-2020) (3)
Sacks, Gerald E. (3)

Ajouter un filtre

Langues

anglais (51)
français (2)
allemand (1)

Date de publication

1900-1999 (44)
2000-2099 (10)

Sujets

Récursivité, Théorie de la (54)
Théorie de la récursivité = 511.35 (23e éd.) (20)
Logique mathématique = 511.3 (23e éd.) (11)

Ajouter un filtre

Détail des sujets

Récursivité, Théorie de la (54)
Logique mathématique (9)
Mathématiques (7)

Ajouter un filtre

Genre ou forme

Actes de congrès (7)
Guides pratiques (1)
Bibliographie (1)

Pays

Allemagne (21)
Pays-Bas (13)
États-Unis (11)

Ajouter un filtre

Voir la sélection (0)

Ajouter à mes références (0)

Information

Veuillez sélectionner au moins une notice dans la liste de résultats.

Tri par :

sur 6

Page suivante
Dernière page

1 1994

Bridges, Douglas S. (1945-....)

Computability : a mathematical sketchbook / Douglas S. Bridges

Springer

Livres

2 1984

Rose, Harvey Ernest (1936-....)

Subrecursion : functions and hierarchies / H.E. Rose,...

Clarendon Press

Livres

3 1998

Handbook of recursive mathematics / edited by Yu. L. Ershov [and others] ; associate editor, V.M. Marek

Elsevier

Livres

4 1993

Oberschelp, Arnold

Rekursionstheorie / von Prof. Dr. Arnold Oberschelp,...

B. I. Wissenschaftsverlag

Livres

5 1978

Hinman, Peter G.

Recursion-theoretic hierarchies / Peter G. Hinman

Springer

Livres

6 1990

Sacks, Gerald Enoch

Higher recursion theory / Gerald E. Sacks

Springer

Livres

7 1993

Shoenfield, Joseph Robert (1927-2000)

Recursion theory / Joseph R. Shoenfield

Springer

Livres

8 1980

Fenstad, Jens Erik (1935-2020)

General recursion theory : an axiomatic approach / Jens E. Fenstad

Springer

Livres

9 1993

Smullyan, Raymond M. (1919-2017)

Recursion theory for metamathematics / Raymond M. Smullyan,...

Oxford university press

Livres

10 1991

Sommaruga, Giovanni (1956-....)

Fixed point constructions in various theories of mathematical logic / Giovanni Sommaruga-Rosolemos

Bibliopolis

Livres

Tri par :

sur 6

Page suivante
Dernière page

Télécharger/Imprimer

Vous allez obtenir un document que vous pourrez enregistrer ou imprimer.

Format du fichier :	PDF TXT
Choisir :	notices abrégées notices complètes
Format de la notice :	Public Intermarc

Envoyer par courriel

Envoi par courriel au format txt :

PDF
TXT

  notices abrégées
  notices complètes sans exemplaires
  notices complètes avec exemplaires

Format de la notice :

Public
Intermarc

Adresse du destinataire :

Ajouter à mes références

La sélection a bien été ajoutée.

> Accéder à mes références

Exporter dans un tableau

paramétrage public
paramétrage professionnel

Vous allez obtenir un document csv.

	Sélectionner tout
	Localisation (pour obtenir tous les exemplaires d'une même ressource)
	Titre
	Auteur
	Contributeur
	Editeur
	Date
	Description
	Sujet
	Couverture
	Langue
	Format

Vous allez obtenir un document csv.

Intermarc

Unimarc

1 colonne par zone

1 colonne par sous-zone

Avec données brutes

Données avec étiquette

avec sous-notices

sans sous-notices

avec données d'exemplaire

sans données d'exemplaire

Identification
Localisation
Cote magasin
Cote libre accès
Droits génériques
Caractéristiques
Exe remarquables
Fonds
Données de numérisation

Numéro de notice	Numéro de regroupement
Collection	Date de dernière modification
Mode d'accès	Mode d'entrée
Numéro d'ordre	Numéro d'inventaire
Identifiant partie exe liée	Numéro d'entrée
Source récolement	Libellé du regroupement
Date de création

Etablissement	Lacune
Statut d'acquisition	Etat de collection
Destination	Complétude pub. en série
Usage	Conservation
Qualification/Volumaison	Note complétude
Etat col/mon

Adresse	Sous-cote
Préfixe	Cote non conrôlée
Format	Cote 1
Lettrage, millésime ou support	Cote 2
Numéro	Cote originale (indexée)
Début numéro	Cote originale (non indexée)
Fin numéro

Salle	Nature oeuvre
Discipline	Code critique
Dewey / Per	Microforme
Code auteur	Ancienne cote
Code titre

Droit	Date fin
Permission	Paramètres
Date début	Id. convention

Disponibilité	Particularités
Support physique	Origine
Original	Microforme
Matériel accompagnement	Source bibliographique
Description technique

Numéro exemplaire	Note papier
Ajouts	Type provenance
Note ajouts	Type
Type papier	Date

Nom du fonds	Mention de mécénat
N° à l'intérieur d'un fonds	Département gestionnaire

Date numérisation	Cote support numérisé
Document né numérique	Présence adaptatif
Nb de vues	Type adaptatif
1ère page à afficher	Version adaptatif
Numérisation partielle	Taux qualité adaptatif
Numérisation directe	Signalement adaptatif
Type num. partielle	Consultation adaptatif
Table des matières	Présence E-Pub
Type de TDM	Type E-Pub
Présence de texte	Version E-Pub
Taux de qualité du texte	Qualité E-Pub
Type fichiers num.	Identifiant E-Pub
Taille fichiers num.	Taux qualité E-Pub
Qualité de la numérisation	Accessibilité E-Pub
Résolution du master	Signalement E-Pub
Support numérisé	Consultation E-Pub
Id ArkDoc

Transférer pour un SGB

Vous allez obtenir un fichier au format d'échange ISO2709 à importer dans votre catalogue de bibliothèque informatisé.

Format bibliographique :

Unimarc
Intermarc

Encodage des caractères :

Unicode-UTF8 : jeu de caractères pour tous les systèmes d'écriture

ISO 5426 : jeu de caractères latins

Sauvegarder votre recherche dans mes références

Titre de la recherche :

Récupérer les notices

Ma sélection (0)

Télécharger/Imprimer
Envoyer par courriel
Exporter dans un tableau
Transférer pour un SGB

Tous les résultats (54)

Exporter dans un tableau
Transférer pour un SGB

autres Ressources

Archives et manuscrits
Ressources électroniques