Cahiers du centre de logique, 7. L'anti-fondation en logique et en théorie des ensembles / Université catholique de Louvain, Département de Philosophie

Public ISBD Titre de série : Cahiers du centre de logique, 7 Titre : L'anti-fondation en logique et en théorie des ensembles Type de document : texte imprimé Auteurs : Université catholique de Louvain, Département de Philosophie, Auteur ; R. HINNION, Préfacier, etc. Editeur : Louvain-la-Neuve : Academia Année de publication : 1992 Importance : 1 vol. (112 p.) Format : 23 cm ISBN/ISSN/EAN : 978-2-87209-186-7 Langues : Français (fre) Anglais (eng) Langues originales : Français (fre) Anglais (eng) Index. décimale : 4.01 Épistémologie. Fondements. Philosophie Typologie du document : Ouvrage de référence Cahiers du centre de logique, 7. L'anti-fondation en logique et en théorie des ensembles [texte imprimé] / Université catholique de Louvain, Département de Philosophie, Auteur ; R. HINNION, Préfacier, etc. . - Louvain-la-Neuve : Academia, 1992 . - 1 vol. (112 p.) ; 23 cm. ISBN : 978-2-87209-186-7 Langues : Français (fre) Anglais (eng) Langues originales : Français (fre) Anglais (eng) Index. décimale : 4.01 Épistémologie. Fondements. Philosophie Typologie du document : Ouvrage de référence

Exemplaires(1)

Code-barres	Consultable	Cote	Localisation	Section	Support	Disponibilité
02591	4.01 CAH	Ouvrages théoriques & autres	4. Histoire des mathématiques. Épistémologie. Jeux. Etc.	Livre	Disponible	Consultable sur place, même si en prêt

L'enseignement de l'analyse aux débutants / Christiane HAUCHART

Public ISBD Titre : L'enseignement de l'analyse aux débutants Type de document : texte imprimé Auteurs : Christiane HAUCHART, Directeur de la recherche ; Nicolas ROUCHE, Directeur de la recherche Editeur : Louvain-la-Neuve : Academia Année de publication : 1992 Autre Editeur : Namur [Belgique] : Érasme Importance : 1 vol. (125 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-87127-447-6 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 3.00-97i Didactique en analyse Typologie du document : Ouvrage de référence L'enseignement de l'analyse aux débutants [texte imprimé] / Christiane HAUCHART, Directeur de la recherche ; Nicolas ROUCHE, Directeur de la recherche . - Louvain-la-Neuve : Academia : Namur [Belgique] : Érasme, 1992 . - 1 vol. (125 p.) ; 24 cm. ISBN : 978-2-87127-447-6 Langues : Français (fre) Langues originales : Français (fre) Index. décimale : 3.00-97i Didactique en analyse Typologie du document : Ouvrage de référence

Exemplaires(1)

Code-barres	Consultable	Cote	Localisation	Section	Support	Disponibilité
02335	3.00-97i HAU	Ouvrages théoriques & autres	3. Didactique	Livre	Disponible	Consultable sur place, même si en prêt

The Curry-Howard Isomorphism / Ph. de GROOTE

Public ISBD Titre : The Curry-Howard Isomorphism Type de document : texte imprimé Auteurs : Ph. de GROOTE, Auteur Editeur : Louvain-la-Neuve : Academia Année de publication : 1995 Collection : Cahiers du centre de logique num. 8 Importance : 1 vol. (364 p.) Format : 23 cm ISBN/ISSN/EAN : 978-2-87209-363-2 Note générale : Don de Vincent Degauquier Langues : Anglais (eng) Langues originales : Anglais (eng) Mots-clés : Logique  Informatique  Démonstration Index. décimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Ouvrage de référence The Curry-Howard Isomorphism [texte imprimé] / Ph. de GROOTE, Auteur . - Louvain-la-Neuve : Academia, 1995 . - 1 vol. (364 p.) ; 23 cm. - (Cahiers du centre de logique; 8) . ISBN : 978-2-87209-363-2 Don de Vincent Degauquier Langues : Anglais (eng) Langues originales : Anglais (eng) Mots-clés : Logique  Informatique  Démonstration Index. décimale : 5.01 Logique mathématique. Fondements mathématiques Typologie du document : Ouvrage de référence

Exemplaires(1)

Code-barres	Consultable	Cote	Localisation	Section	Support	Disponibilité
02817	5.01 GRO	Ouvrages théoriques & autres	5. Mathématiques	Livre	Disponible	Consultable sur place, même si en prêt

---

1 (1 - 3 / 3) Par page : 25 50 100 200