Logic, Construction, Computation - Ontos Mathematical Logic - - Livres - De Gruyter - 9783110324532 - 20 juillet 2012
Si la couverture et le titre ne correspondent pas, le titre est correct.

Logic, Construction, Computation - Ontos Mathematical Logic

Recevez un courriel lorsque l'article est disponible
Avez-vous un profil ? Connectez-vous

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Pas encore évalué

Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing. This volume contains 20 articles from experts about developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, and Constructive mathematics.

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 20 juillet 2012
ISBN13 9783110324532
Éditeurs De Gruyter
Pages 542
Dimensions 150 × 220 × 20 mm   ·   826 g
Langue et grammaire Allemand  
Éditeur Berger, Ulrich
Éditeur Diener, Hannes
Éditeur Schuster, Peter
Éditeur Seisenberger, Monika

Plus d'ouvrages du même éditeur