Risultati

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

Codice record:

MIL0094322

Tipologia:

Monografia moderna

Descrizione:

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 )

Titolo dell'opera:

Einfuhrung in die symbolische Logik mit besonderer Berucksichtigung ihrer Anwendungen.

Autore/Autrice:

Carnap, Rudolf

Altri autori:

Trinchero, Mario

Data:

1978

Codice record:

SBL0323018

Tipologia:

Monografia moderna

Descrizione:

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 )

Titolo dell'opera:

Godel's Theorem in focus

Altri autori:

Pagli, Paolo ; Shanker, Stuart G.

Data:

1991

ISBN:

887021530X

8870215407

Codice record:

RAV0135219