An examination of a decision procedure /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Oglesby, Francis C.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Providence, R.I. : American Mathematical Society, 1962.
Colección:Memoirs of the American Mathematical Society ; no. 44.
Temas:
Predicate calculus.
Logic, Symbolic and mathematical.
Calcul des prédicats.
Logique symbolique et mathématique.
Logic, Symbolic and mathematical
Predicate calculus
Beweis
Entscheidungstheorie
Prädikatenlogik
Prüfung
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares