Siga con nosotros

Buscar

Proof theory

Schütte, Kurt

Proof theory

Información

Puedes encontrarlo en

Categoría

Testo

Naturaleza

Monografia

Título

Proof theory

Nombres

[Autore] Schütte, Kurt

Clase de Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Sujeto BNI

Teoria della dimostrazione

Descripción

Proof theory / Kurt Schutte

Descripción física

XII, 302 p. ; 25 cm.

Números estándar

ISBN: 0387079114, New York
ISBN: 3540079114, Berlin

Fecha

1977

Lugar de publicacion

Berlin [etc.]

Aldea

GERMANIA

Lengua

INGLESE

Fuente

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0108058

Enlaces de recursos

http://id.sbn.it/bid/PUV0108058

Etiqueta

Imágenes

Studi e schizzi

Studi e schizzi

Autor : Basile, Ernesto <1857-1932>

Año : 1909

Il rospo e le ninfee

Il rospo e le ninfee

Autor : Lenares, Alessandro

Año : 2019

Resultados 2 de 21876

Textos

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday

ISILC proof theory symposion : dedicated to Kurt Schutte on the occasion of his 65th birthday

Autor : International summer institute and logic colloquium <1974

Año : 1975

Vollstandige Systeme modaler und intuitionistischer Logik

Vollstandige Systeme modaler und intuitionistischer Logik

Autor : Schütte, Kurt

Año : 1968

Resultados 2 de 2184997

Video

Touching soap films

Touching soap films

Año : 1999

A prova di morte

A prova di morte

Año : 2007

Resultados 2 de 69612

Audio

Living proof

Living proof

Autor : Cher

Año : 2001

Long walk home : music from the Rabbit-Proof Fence

Long walk home : music from the Rabbit-Proof Fence

Autor : Gabriel, Peter <1950- >

Año : 2002

Resultados 2 de 24131

Comentario

Escribir un comentario

Enviar