Close menu
Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia Autonomous Region of Sardinia
Sardinia region
Follow us on
Search Search in the site

Sardinia region

Other actions
Come Back Come Back

Proof theory

Schütte, Kurt

Proof theory
Information
You can find it in

Category

Testo

Nature

Monografia

Title

Proof theory

Names

[Autore] Schütte, Kurt

Dewey class

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

BNI subject

Teoria della dimostrazione

Description

Proof theory / Kurt Schutte

Physical description

XII, 302 p. ; 25 cm.

Standard numbers

ISBN: 0387079114, New York
ISBN: 3540079114, Berlin

Date

1977

Place of publication

Berlin [etc.]

Village

GERMANIA

Tongue

INGLESE

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\PUV\0108058

Resources links

http://id.sbn.it/bid/PUV0108058
Biblioteca del Distretto tecnologico – sezione Matematica e informatica

Tag

Other actions

Images

Studi e schizzi

Studi e schizzi

Author : Basile, Ernesto <1857-1932>

Year : 1909
Il rospo e le ninfee

Il rospo e le ninfee

Author : Lenares, Alessandro

Year : 2019

Results 2 of 21876

View All View All

Texts

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

Author : International summer institute and logic colloquium <1974

Year : 1975
Vollstandige Systeme modaler und intuitionistischer Logik

Vollstandige Systeme modaler und intuitionistischer Logik

Author : Schütte, Kurt

Year : 1968

Results 2 of 2184997

View All View All

Video

Touching soap films

Touching soap films

Year : 1999
A prova di morte

A prova di morte

Year : 2007

Results 2 of 69612

View All View All

Audio

Living proof

Living proof

Author : Cher

Year : 2001
Long walk home : music from the Rabbit-Proof Fence

Long walk home : music from the Rabbit-Proof Fence

Author : Gabriel, Peter <1950- >

Year : 2002

Results 2 of 24131

View All View All

Comments

Load others

Write a comment

Send
Write a comment