Ways of proof theory

Guardat en:
Dades bibliogràfiques
Autor principal: Schindler, Ralf
Autor corporatiu: ebrary, Inc
Format: Electrònic eBook
Idioma:anglès
Publicat: Frankfurt ; New Brunswick : Ontos Verlag, 2010.
Col·lecció:Ontos mathematical logic ; v. 2
Matèries:
Accés en línia:An electronic book accessible through the World Wide Web; click to view
Etiquetes: Afegir etiqueta
Sense etiquetes, Sigues el primer a etiquetar aquest registre!