Chiudi Menù
Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna Regione Autonoma della Sardegna
Regione Sardegna
Seguici su
Cerca Cerca nel sito

Regione Sardegna

Altre azioni
Torna Indietro Torna Indietro

Logica e teorie formalizzate : completezza, incompletezza, indecidibilit

Palladino, Dario

Logica e teorie formalizzate : completezza, incompletezza, indecidibilit
Informazioni
Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Logica e teorie formalizzate : completezza, incompletezza, indecidibilit

Nomi

[Autore] Palladino, Dario

Classe Dewey

511.3 LOGICA MATEMATICA (LOGICA SIMBOLICA)

Soggetto BNI

LOGICA MATEMATICA - SEC. 20.

Descrizione

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

Descrizione Fisica

202 p. ; 22 cm.

Numeri Standard

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

Data

2004

Luogo di pubblicazione

Roma

Paese

ITALIA

Lingua

ITALIANO

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\UBO\2396908

Link Risorse

http://id.sbn.it/bid/UBO2396908
Biblioteca universitaria di Cagliari

Tag

Altre azioni

Immagini

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

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

Autore : Alvino, Giovanna

Anno : 1995
Il cavallo e il soldato

Il cavallo e il soldato

Autore : Tessaro, Gek

Anno : 2007

Risultati 2 di 81871

Visualizza Tutti Visualizza Tutti

Testi

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

Autore : Borga, Marco

Anno : 1997
Corso di logica : introduzione elementare al calcolo dei predicati

Corso di logica : introduzione elementare al calcolo dei predicati

Autore : Palladino, Dario

Anno : 2002

Risultati 2 di 2187094

Visualizza Tutti Visualizza Tutti

Video

Coppia aperta quasi spalancata

Coppia aperta quasi spalancata

Anno : 2008
Dario Fo ripropone e recita Ruzzante

Dario Fo ripropone e recita Ruzzante

Autore : Fo, Dario

Anno : 2012

Risultati 2 di 71020

Visualizza Tutti Visualizza Tutti

Audio

Che cos'è la logica?

Che cos'è la logica?

Autore : Odifreddi, Piergiorgio

Anno : 2006
Le favole di Esopo : volume 1.

Le favole di Esopo : volume 1.

Autore : Aesopus

Anno : 2011

Risultati 2 di 28048

Visualizza Tutti Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia
Scrivi un commento