Follow us on

Search

Logica e teorie formalizzate : completezza, incompletezza, indecidibilit

Palladino, Dario

Logica e teorie formalizzate : completezza, incompletezza, indecidibilit

Information

You can find it in

Category

Testo

Nature

Monografia

Title

Logica e teorie formalizzate : completezza, incompletezza, indecidibilit

Names

[Autore] Palladino, Dario

Dewey class

511.3 LOGICA MATEMATICA (LOGICA SIMBOLICA)

BNI subject

LOGICA MATEMATICA - SEC. 20.

Description

Logica e teorie formalizzate : completezza, incompletezza, indecidibilità / Dario Palladino

Physical description

202 p. ; 22 cm.

Standard numbers

ISBN: 8843029002
ISBN: 9788843029006, 1. rist. 2009
BNI: IT 20047525

Date

2004

Place of publication

Roma

Village

ITALIA

Tongue

ITALIANO

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\UBO\2396908

Resources links

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

Tag

Images

Gli Equi nel Lazio : l'alta e media Valle del Salto

Gli Equi nel Lazio : l'alta e media Valle del Salto

Author : Alvino, Giovanna

Year : 1995

Il cavallo e il soldato

Il cavallo e il soldato

Author : Tessaro, Gek

Year : 2007

Results 2 of 81871

Texts

Oltre il mito della crisi : fondamenti e filosofia della matematica nel 20. secolo

Oltre il mito della crisi : fondamenti e filosofia della matematica nel 20. secolo

Author : Borga, Marco

Year : 1997

Corso di logica : introduzione elementare al calcolo dei predicati

Corso di logica : introduzione elementare al calcolo dei predicati

Author : Palladino, Dario

Year : 2002

Results 2 of 2187094

Video

Coppia aperta quasi spalancata

Coppia aperta quasi spalancata

Year : 2008

Dario Fo ripropone e recita Ruzzante

Dario Fo ripropone e recita Ruzzante

Author : Fo, Dario

Year : 2012

Results 2 of 71020

Audio

Che cos'è la logica?

Che cos'è la logica?

Author : Odifreddi, Piergiorgio

Year : 2006

Le favole di Esopo : volume 1.

Le favole di Esopo : volume 1.

Author : Aesopus

Year : 2011

Results 2 of 28048

Comments

Write a comment

Send