Seguici su

Cerca

Torna Indietro

Logica simbolica

Chang, Chin-Liang

Informazioni

Lo trovi in

Categoria

Testo

Natura

Monografia

Titolo

Logica simbolica

Nomi

[Autore] Chang, Chin-Liang
[Autore] Char-Tung Lee, Richard

Classe Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Soggetto BNI

Logica matematica
Logica simbolica

Descrizione

Logica simbolica / Chin-Liang Chang, Richard Char-Tung Lee

Descrizione Fisica

XI, 365 p. : ill. ; 25 cm

Numeri Standard

ISBN: 8870813800

Data

Luogo di pubblicazione

Milano

Paese

ITALIA

Lingua

ITALIANO

Titolo Opera

Symbolic logic and mechanical theorem proving. -

Fonte

Biblioteche SBN Sardegna

ID

IT\ICCU\RAV\0046359

Link Risorse

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

Tag

Immagini

Dipinto

Autore : Chin Hsiao

Anno : 1961

Nuovo corso

Autore : Hsiao Chin <1935->

Anno : 1970

Risultati 2 di 19942

Visualizza Tutti

Testi

Theory of formal systems

Autore : Smullyan, Raymond

Anno : 1961

Algebraic foundations of many-valued-reasoning

Autore : Cignoli, Roberto L. O.

Anno : 2000

Risultati 2 di 2184891

Visualizza Tutti

Video

Drunken master

Anno : 2003

Oasis

Anno : 2009

Risultati 2 di 69479

Visualizza Tutti

Audio

Che cos'è la logica?

Autore : Odifreddi, Piergiorgio

Anno : 2006

An introduction to mathematics for students of economics

Autore : Lewis, J. Parry

Anno : 1961

Risultati 2 di 23777

Visualizza Tutti

Commenti

Carica altri

Scrivi un commento

Invia

Regione Sardegna

Logica simbolica

Tag

Dipinto

Nuovo corso

Theory of formal systems

Algebraic foundations of many-valued-reasoning

Drunken master

Oasis

Che cos'è la logica?

An introduction to mathematics for students of economics

Commenti