« Herbrand universe » : différence entre les versions

Dernière version du 1 juin 2020 à 10:36

Rediriger vers :

Version du 1 juin 2020 à 10:35 (voir la source) Pitpitt (discussion \| contributions) (Pitpitt a déplacé la page Herbrand universe vers Univers de Herbrand) Balise : Nouvelle redirection		Dernière version du 1 juin 2020 à 10:36 (voir la source) Pitpitt (discussion \| contributions) Aucun résumé des modifications Balise : Éditeur de wikicode 2017
Ligne 1 :		Ligne 1 :
	#REDIRECTION [[Univers de Herbrand]]		#REDIRECTION [[Univers de Herbrand]]
			[[Catégorie:ENGLISH]]