Introduction to Mathematical Logic /

Contenido: Cálculo Proposicional; Teoría de la Cuantificación; Teoría de los Números Formales; Teoría del Conjunto Axiomático; Computo Efectivo.

Guardado en:
Bibliografiske detaljer
Hovedforfatter: Mendelson, Elliott (autor)
Format: Bog
Sprog:engelsk
Udgivelse:3a edición
Fag:
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!