Catalogue en ligne <b>Bibliothèque du Séminaire Notre-Dame de Namur</b>

Accueil

Modifier la recherche

Nouvelle recherche

Auteur G. Kreisel

Documents disponibles écrits par cet auteur (1)

Ajouter le résultat dans votre panier Affiner la recherche

Note on arithmetic models for consistent formulae of the predicate calculus II / G. Kreisel

Public

ISBD

contenu dans Actes du XIème congrès international de philosophie, Bruxelles, 20-26 août 1953, XIV. Volume complémentaire et communications du colloque de logique

Titre : Note on arithmetic models for consistent formulae of the predicate calculus II
Type de document : texte imprimé
Auteurs : G. Kreisel, Auteur
Importance : P. 39-49
Note générale : Bibliographie
Langues : Anglais (eng)
Catégories : Calcul des prédicats
Logique mathématique

contenu dans Actes du XIème congrès international de philosophie, Bruxelles, 20-26 août 1953, XIV. Volume complémentaire et communications du colloque de logique

Note on arithmetic models for consistent formulae of the predicate calculus II [texte imprimé] / G. Kreisel, Auteur . - [s.d.] . - P. 39-49.
Bibliographie
Langues : Anglais (eng)
Catégories : Calcul des prédicats
Logique mathématique

Exemplaires(0)

Disponibilité

aucun exemplaire

Disponibilité
aucun exemplaire

Bibliothèque du Séminaire Notre-Dame de Namur

Nous attirons votre attention sur le fait que le catalogue est en cours d'informatisation. Toutes les données ne figurent donc pas dans ce système. Une consultation des fiches sur place est donc toujours indispensable.

A-

A

A+

Accueil

Se connecter

accéder à votre compte de lecteur

Mot de passe oublié ?
Pas encore inscrit ?

Adresse
Bibliothèque du Séminaire Notre-Dame de Namur
Rue du Séminaire, 11b
5000 NAMUR
Belgique
081 25 64 72
bibliotheque@seminairedenamur.be
La bibliothèque du Séminaire de Namur est ouverte tous les jours de 09h30 à 17h00, le samedi de 09h30 à 12h (fermée les samedis de juillet et août).