Risultati

Tipologia:

Monografia moderna

Descrizione:

Teorie formalizzate e logica matematica / Aldo Marruccelli - Roma : Studium, 1975 . - VII, 174 p. ; 21 cm . . - ( La cultura ; 7 )

Autore/Autrice:

Marruccelli, Aldo

Data:

1975

Codice record:

SBL0167800

Tipologia:

Monografia moderna

Descrizione:

La matematica della verità : strumenti matematici della semantica logica / Ettore Casari . - Torino : Bollati Boringhieri, 2006 . - 453 p. ; 22 cm. . - ( Nuova didattica. Scienze )

Autore/Autrice:

Casari, Ettore [1933-2019]

Data:

2006

ISBN:

8833957748

Codice record:

RAV1438294

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:

Nove lezioni di logica simbolica / Joseph Bochenski . - Bologna : ESD, [1995] . - 141 p. ; 21 cm. . - ( Philosophia ; 22 )

Autore/Autrice:

Bochenski, Joseph M.

Data:

1995

ISBN:

8870942139

Codice record:

RAV0271763

Tipologia:

Monografia moderna

Descrizione:

Fondamenti di logica : introduzione alla teoria della dimostrazione / di Marco Borga . - Milano : F. Angeli, [1995] . - 136 p. ; 22 cm . - ( Epistemologia ; 49 )

Autore/Autrice:

Borga, Marco

Data:

1995

ISBN:

8820493608

Codice record:

MIL0281226

Tipologia:

Monografia moderna

Descrizione:

La prova di Gödel / Ernest Nagel e James R. Newman ; con un saggio di Jean-Yves Girard . - Torino : Bollati Boringhieri, 1992 . - 2. ed. accresciuta . - 136 p. ; 20 cm . - ( Universale Bollati Boringhieri. Serie scientifica ; 102 )

Autore/Autrice:

Nagel, Ernest

Altri autori:

Girard, Jean Yves

Data:

1992

ISBN:

8833903095

Codice record:

RAV0186758

Tipologia:

Monografia moderna

Descrizione:

Introduzione alla logica formale / Gabriele Lolli . - Bologna : Il mulino, [1991] . - 333 p. ; 25 cm . - ( Strumenti. Filosofia )

Autore/Autrice:

Lolli, Gabriele

Data:

1991

ISBN:

8815029583

Codice record:

RAV0141394

Tipologia:

Monografia moderna

Descrizione:

Elementi di logica : con gli esercizi risolti / E. J. Lemmon . - Roma [ecc.] : Laterza, 1986 . - XI, 296 p. ; 21 cm . - ( Biblioteca universale Laterza ; 182 )

Titolo dell'opera:

Beginning logic

Autore/Autrice:

Lemmon, Edward John

Data:

1986

ISBN:

8842027723

Codice record:

CFI0060357

Tipologia:

Monografia moderna

Descrizione:

Logica matematica e teorie formalizzate : un quadro generale dei concetti e dei risultati fondamentali / Robert Rogers . - Milano : Feltrinelli, 1978 . - 216 p. ; 21 cm . - ( Sc/10. Manuali ; 2 )

Titolo dell'opera:

Mathematical Logic and Formalized Theories

Autore/Autrice:

Rogers, Robert

Data:

1978

Codice record:

SBL0241368

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:

La prova matematica dell'esistenza di Dio / Kurt Gödel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi . - Torino : Bollati Boringhieri, 2006 . - 123 p. ; 18 cm. . - ( Incipit ; 3 )

Autore/Autrice:

Gödel, Kurt

Altri autori:

Lolli, Gabriele ; Odifreddi, Piergiorgio

Data:

2006

ISBN:

8833916790

9788833916798 (Rist 2007)

Codice record:

RAV1449417

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

Tipologia:

Monografia moderna

Descrizione:

Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero . - Torino : G. Einaudi, [1988] . - Nuova ed. ampliata . - XXXV, 335 p. : ill. ; 21 cm. . - ( Einaudi paperbacks ; 182 )

Titolo dell'opera:

Bemerkungen über die Grundlagen der Mathematik

Autore/Autrice:

Wittgenstein, Ludwig

Altri autori:

Trinchero, Mario

Data:

1988

ISBN:

8806599860

Codice record:

CFI0134196

Tipologia:

Monografia moderna

Descrizione:

Il software dell'universo : saggio sulle leggi di natura / Mauro Dorato . - [Milano] : B. Mondadori, 2000 . - 290 p. ; 17 cm . - ( Biblioteca delle scienze )

Autore/Autrice:

Dorato, Mauro

Data:

2000

ISBN:

8842497088

Codice record:

RAV0698929