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.

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Mendelson, Elliott (autor)
Format: Buch
Sprache:Englisch
Ausgabe:3a edición
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!