Suivez-nous sur

Recherche

Logica simbolica

Chang, Chin-Liang

Logica simbolica

Information

Vous pouvez le trouver dans

Catégorie

Testo

Nature

Monografia

Titre

Logica simbolica

Des noms

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

Classe Dewey

511.3 LOGICA SIMBOLICA (LOGICA MATEMATICA)

Sujet BNI

Logica matematica
Logica simbolica

Description

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

Description physique

XI, 365 p. : ill. ; 25 cm

Nombres standard

ISBN: 8870813800

Date

©1988

Place de publication

Milano

Village

ITALIA

Langue

ITALIANO

Titre d\'opéra

Symbolic logic and mechanical theorem proving. -

Source

Biblioteche SBN Sardegna

ID

IT\ICCU\RAV\0046359

Liens de ressources

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

Étiqueter

Images

Dipinto

Dipinto

Auteur : Chin Hsiao

Année : 1961

Nuovo corso

Nuovo corso

Auteur : Hsiao Chin <1935->

Année : 1970

Résultats 2 de 19942

Des textes

Theory of formal systems

Theory of formal systems

Auteur : Smullyan, Raymond

Année : 1961

Algebraic foundations of many-valued-reasoning

Algebraic foundations of many-valued-reasoning

Auteur : Cignoli, Roberto L. O.

Année : 2000

Résultats 2 de 2184891

Vidéo

Drunken master

Drunken master

Année : 2003

Oasis

Oasis

Année : 2009

Résultats 2 de 69479

l\'audio

Che cos'è la logica?

Che cos'è la logica?

Auteur : Odifreddi, Piergiorgio

Année : 2006

An introduction to mathematics for students of economics

An introduction to mathematics for students of economics

Auteur : Lewis, J. Parry

Année : 1961

Résultats 2 de 23777

commentaires

Chargez les autres

Écrire un commentaire

Envoyer