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
Hyperproof

Tapa de Hyperproof

Número de Cutter-SanbornB296hEntrada «Barw» → 296 · marca de obra “h”

Hyperproof

de Barwise, Jon.

Materias

Macintosh (Computer)
Symbolic and mathematical Logic
Computer science
Hyperproof
Logic, symbolic and mathematical
Informatica
Macintosh-software
Wiskundige logica
Deduksjon
Symbolsk logikk
Programvare
Håndbøker (Form)

Ediciones (1)

Hyperproof (1994)
CSLI Publications · inglés

Más obras de Barwise, Jon.

Tapa de Situations and attitudes

Situations and attitudes

Tapa de The language of first-order logic

The language of first-order logic

Tapa de Vicious circles

Vicious circles

Tapa de The liar

The liar

Hyperproof — Barwise, Jon. | Cutter Number

Tapa de The situation in logic

The situation in logic

Tapa de Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)

Information Flow: The Logic of Distributed Systems (Cambridge Tracts in Theoretical Computer Science)

Ver todas las obras de Barwise, Jon. →