Omitting uncountable types and the strength of -valued...

Omitting uncountable types and the strength of -valued logics

Caicedo, Xavier, Iovino, José N.
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
165
Langue:
english
Journal:
Annals of Pure and Applied Logic
DOI:
10.1016/j.apal.2014.01.005
Date:
June, 2014
Fichier:
PDF, 488 KB
english, 2014
La conversion en est effectuée
La conversion en a échoué