Skip to content

UAM Iztapalapa 50 años

Login
  • 0 items (Full)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Language
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Advanced
  • An examination of a decision p...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Add to Book Bag Remove from Book Bag
  • Permanent link
Loading…
Preview
Preview
Preview

An examination of a decision procedure /

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Oglesby, Francis C.
Format: Electronic eBook
Language:Inglés
Published: Providence, R.I. : American Mathematical Society, 1962.
Series:Memoirs of the American Mathematical Society ; no. 44.
Subjects:
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
Online Access:Texto completo
  • Holdings
  • Description
  • Table of Contents
  • Similar Items
  • Staff View
Table of Contents:
  • Introduction 1 2 3 4 5 6.

Similar Items

  • Subsystems of second order arithmetic /
    by: Simpson, Stephen G. (Stephen George), 1945-
    Published: (2009)
  • Modern theories of higher level predicates : second intentions in the Neuzeit /
    by: Hickman, Larry A., 1942-
    Published: (1980)
  • Two papers on the predicate calculus /
    by: Kleene, Stephen Cole, 1909-1994
    Published: (1952)
  • Logic Colloquium '90 : ASL Summer Meeting in Helsinki /
    Published: (2017)
  • Truth and Predication.
    by: Davidson, Donald

Coordinación de Servicios Documentales

  • Av. Ferrocarril San Rafael Atlixco, Núm. 186, Col. Leyes de Reforma 1 A Sección, Alcaldía Iztapalapa, C.P. 09310, Ciudad de México.
  • ¿Tienes alguna duda?, por favor envíala al correo eléctronico: bibl@xanum.uam.mx

Horario de servicio

  • Lunes a viernes: 8:00 hrs a 21:45 hrs

Opciones de búsqueda

  • Search History
  • Catálogo Anterior

¿Necesitas ayuda?

  • Search Tips
  • Ask a Librarian
  • FAQs

Copyright © 2023 Coordinación de Servicios Documentales. Todos los derechos reservados.

Cannot write session to /tmp/vufind_sessions/sess_r4m46aj7j3rar7qlrkv6sk6v46