Căutare Avansată

Lista completă a publicațiilor          Lista completă a contributorilor

Criterii căutate

• Realizator: TORTRAT, Albert

---

Sumarul căutării

• 3 articole

102550100

• 1

	Tip	Anul	Publicație și Volum/Nr.	Realizatori	Titlul articolui	Secțiunea	Pagina	Limba
	articol de periodic	2004	Revue Roumaine de Mathematiques Pures et Appliquees, xlix-2	TORTRAT, Albert (autor)	Logique formelle et mathematiques		173-182
	articol de periodic	2008	Revue Roumaine de Mathematiques Pures et Appliquees, liii-4	TORTRAT, Albert (autor)	Les tautologies en logique formelle		357-374
	articol de periodic	2010	Revue Roumaine de Mathematiques Pures et Appliquees, lv-5	TORTRAT, Albert (autor)	Difficultes de la formalisation de k'arithmetique et de l'analyse mathematique		407-410

• 1