Ways of proof theory

Enregistré dans:
Détails bibliographiques
Auteur principal: Schindler, Ralf
Collectivité auteur: ebrary, Inc
Format: Électronique eBook
Langue:anglais
Publié: Frankfurt ; New Brunswick : Ontos Verlag, 2010.
Collection:Ontos mathematical logic ; v. 2
Sujets:
Accès en ligne:An electronic book accessible through the World Wide Web; click to view
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!