Sistema Bibliotecario Provinciale di Rovigo
Informazioni Utili
Percorsi di lettura
Raffina la ricerca - Hai eseguito la ricerca con i criteri: Soggetto: "Logica simbolica"
Tipologia:
Monografia moderna
Descrizione:
Introduzione alla logica simbolica / Alberto Pasquinelli ; pref. di Ludovico Geymonat . - Torino : Einaudi, 1957 . - X, 118 p. ; 22 cm. . - ( Biblioteca di cultura scientifica ; 52 )
Titolo dell'opera:
Introduzione alla logica simbolica
Autore/Autrice:
Pasquinelli, Alberto
Data:
1957
Altri numeri standard:
N. Bibliografia nazionale 1957 7503
CUBI 443555
Collana:
Biblioteca di cultura scientifica
Lingua:
Italiano
Paese:
Italia
Soggetto:
Logica simbolica
Classificazione:
511.3
Codice record:
MIL0094322
Introduzione alla logica simbolica con particolare riferimento alle sue applicazioni / Rudolf Carnap ; presentazione di Alberto Pasquinelli . - Firenze : La nuova Italia, 1978 . - IX, 385 p. ; 22 cm . - ( Pensatori del nostro tempo ; 16 )
Einfuhrung in die symbolische Logik mit besonderer Berucksichtigung ihrer Anwendungen.
Carnap, Rudolf
Altri autori:
Trinchero, Mario
1978
N. Bibliografia nazionale 801389
Pensatori del nostro tempo
Note:
Traduzione M. Trinchero
SBL0323018
Il teorema di Gödel : una messa a fuoco / [a cura di] S. G. Shanker . - Padova : Muzzio, 1991 . - XXVI, 324 p. ; 22 cm . - ( Muzzio scienze ; 6 )
Godel's Theorem in focus
Pagli, Paolo ; Shanker, Stuart G.
1991
ISBN:
887021530X
8870215407
Muzzio scienze
Trad. Paolo Pagli
Godel, Kurt - Teorie ; TEOREMA DI GODEL ; Logica simbolica
RAV0135219