Couverture : Subsystems of second order arithmetic

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Subsystems of second order arithmetic

Stephen George Simpson

Autre Première publication : 1999

Sujets

Logique mathématique Calcul des prédicats

Éditions (1)

Couverture : Subsystems of second order arithmetic

Subsystems of second order arithmetic

Springer (Berlin) · 1999 · 9783540648826