cutternumberG216c

Calculadora Explorar ¿Qué es el Cutter?

Buscar en el catálogo

Cargando…

cutternumber.com.ar

Número de Cutter-Sanborn y catálogo bibliográfico en español, con millones de obras, ediciones y autores.

Calculadora Cutter Guía de catalogación Explorar el catálogo

Datos bibliográficos de Open Library (Internet Archive). Tabla Cutter-Sanborn de tres cifras.

Inicio
Explorar
First-order modal logic

Tapa de First-order modal logic

Número de Cutter-SanbornF547fEntrada «Fitt» → 547 · marca de obra “f”

First-order modal logic

de Melvin Fitting, Richard L. Mendelsohn · Publicada por primera vez en 1998

Materias

Modality (Logic)
Philosophy (General)
Symbolic and mathematical Logic
Computational linguistics
Logic

First-order modal logic — Melvin Fitting, Richard L. Mendelsohn | Cutter Number

Science/Mathematics

Philosophy / Logic

Literary collections

Ediciones (5)

First-Order Modal Logic (2023)
Springer International Publishing AG · inglés · ISBN 9783031407130
First-Order Modal Logic (2012)
Springer London, Limited · inglés · ISBN 9789401152921
First-Order Modal Logic (2011)
Springer · ISBN 9789401152938
First-order modal logic (1998)
Kluwer Academic · inglés
First-Order Modal Logic (1998)
Springer · inglés · ISBN 9780792353348

Más obras de Melvin Fitting

Tapa de Computability theory, semantics, and logic programming

Computability theory, semantics, and logic programming

1987

Tapa de First-order logic and automated theorem proving

First-order logic and automated theorem proving

1990

PProof methods for modal and intuitionistic logics

Proof methods for modal and intuitionistic logics

1983

IIntuitionistic logic model theory and forcing

Intuitionistic logic model theory and forcing

1969

Tapa de Proof Methods For Modal And Intuitionistic Logics

Proof Methods For Modal And Intuitionistic Logics

Tapa de Set theory and the continuum problem

Set theory and the continuum problem

1996

Ver todas las obras de Melvin Fitting →