Élimination des Quantificateurs Dans des Paires de Corps

Autor:	Leloup, G.
Zdroj:	The Journal of Symbolic Logic, 1995 Jun 01. 60(2), 548-562.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2275850 Zobrazit plný text záznamu