Ricerca avanzata

Ordina per:
Risultati: 1-24 su 27

Logica e ragionamento / di Donovan A. Johnson, William H. Glenn e M. Scott Norton

Monografia moderna

Descrizione:  Johnson, Donovan A.. Logica e ragionamento / di Donovan A. Johnson, William H. Glenn e M. Scott Norton. - Bologna : Zanichelli, [1978]. 80 p. ; 19 cm. ( Matematica ; 18 )

Codice record: RAV0078019

Elementi di logica : con gli esercizi risolti / E. J. Lemmon

Monografia moderna

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

Codice record: CFI0060357

Le due teste del tiranno : metodi matematici per la libertà / Marco Malvaldi

Monografia moderna

Descrizione:  Malvaldi, Marco. Le due teste del tiranno : metodi matematici per la libertà / Marco Malvaldi. - Milano : Rizzoli, 2017. 251 p. ; 22 cm..

Codice record: TO10019313

Logistica / Michele Malatesta

Monografia moderna

Descrizione:  Malatesta, Michele. Logistica / Michele Malatesta. - Napoli : Libreria L'Ateneo. v. ; 22 cm.

Codice record: NAP0057644

Matematico e impertinente : varietà differenziale / Piergiorgio Odifreddi

Materiale multimediale

Descrizione:  Matematico e impertinente : varietà differenziale / Piergiorgio Odifreddi. - Milano : Oscar Mondadori ; [Bologna! : Promo Music, [2008!. 1 v., 1 DVD video ; in contenitore, 18x13x2 cm. ( Piccola biblioteca Oscar ; 609 )

Codice record: UBO3523142


Teorie formalizzate e logica matematica / Aldo Marruccelli - Roma : Studium, 1975

Monografia moderna

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

Codice record: SBL0167800

Esercizi di logica / Stefano Cavagnetto

Monografia moderna

Descrizione:  Cavagnetto, Stefano. Esercizi di logica / Stefano Cavagnetto. - Roma : Carocci, 2008. 144 p. ; 20 cm.. ( Le bussole ; 323 )

Codice record: LO11202074

La matematica della verità : strumenti matematici della semantica logica / Ettore Casari

Monografia moderna

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

Codice record: RAV1438294

Mondi della logica / Ettore Carruccio

Monografia moderna

Descrizione:  Carruccio, Ettore. Mondi della logica / Ettore Carruccio. - Bologna : Zanichelli, 1971. 152 p. : ill. ; 19 cm. ( Matematica moderna ; 9 )

Codice record: SBL0355701

Nove lezioni di logica simbolica / Joseph Bochenski

Monografia moderna

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

Codice record: RAV0271763

Il computer di Ockham : genesi e struttura della Rivoluzione Scientifica / Luigi Borzacchini

Monografia moderna

Descrizione:  Borzacchini, Luigi. Il computer di Ockham : genesi e struttura della Rivoluzione Scientifica / Luigi Borzacchini. - Bari : Dedalo, [2010]. 650 p. ; 21 cm. ( La scienza nuova ; 147 )

Codice record: TO01756342

L'analisi matematica della logica / George Boole ; seguita da Il calcolo logico ; introduzione di Massimo Mugnai

Monografia moderna

Descrizione:  Boole, George. L'analisi matematica della logica / George Boole ; seguita da Il calcolo logico ; introduzione di Massimo Mugnai. - Torino : Bollati Boringhieri, 1993. LVIII, 118 p. ; 20 cm. ( Universale Bollati Boringhieri. Serie scientifica ; 262 )

Codice record: CFI0250099

Logica matematica e teorie formalizzate : un quadro generale dei concetti e dei risultati fondamentali / Robert Rogers

Monografia moderna

Descrizione:  Rogers, Robert. 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 )

Codice record: SBL0241368

Introduzione alla filosofia matematica / di Bertrand Russell ; traduzione di Luca Pavolini

Monografia moderna

Descrizione:  Russell, Bertrand. Introduzione alla filosofia matematica / di Bertrand Russell ; traduzione di Luca Pavolini. - Milano : Longanesi, stampa 1963. - 4. ed. 329 p. ; 19 cm.. ( Il labirinto ; 1 )

Codice record: IEI0089238

I principi della matematica / di Bertrand Russell ; traduzione di Ludovico Geymonat

Monografia moderna

Descrizione:  Russell, Bertrand. I principi della matematica / di Bertrand Russell ; traduzione di Ludovico Geymonat. - Milano : Longanesi, 1980. - 4. ed. 727 p. ; 22 cm.. ( Il labirinto ; 10 )

Codice record: LO10439158

L'importanza di essere fuzzy : matematica e computer / Arturo Sangalli

Monografia moderna

Descrizione:  Sangalli, Arturo. L'importanza di essere fuzzy : matematica e computer / Arturo Sangalli. - Torino : Bollati Boringhieri, 2000. 196 p. : ill. ; 22 cm.. ( Saggi. Scienze )

Codice record: RAV0671881

Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski

Monografia moderna

Descrizione:  Tarski, Alfred. Introduzione alla logica e alla metodologia delle scienze deduttive / Alfred Tarski. - Milano : Bompiani, 1969. 302 p. ; 22 cm. ( Idee nuove ; 51 )

Codice record: SBL0092930

Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero

Monografia moderna

Descrizione:  Wittgenstein, Ludwig. Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero. - Torino : Einaudi, [1971]. XXXVII, 263 p. : ill. ; 22 cm.. ( Biblioteca di cultura filosofica ; 35 )

Codice record: SBL0374071

Osservazioni filosofiche / Ludwig Wittgenstein ; introduzione e traduzione di Marino Rosso

Monografia moderna

Descrizione:  Wittgenstein, Ludwig. Osservazioni filosofiche / Ludwig Wittgenstein ; introduzione e traduzione di Marino Rosso. - Torino : Einaudi, 1981. LXXVI, 313 p. ; 20 cm.. ( Reprints Einaudi ; 143 )

Codice record: LIA0218141

Ludwig Wittgenstein e il Circolo di Vienna / colloqui annotati da Friedrich Waismann ; presentazione di B. F. McGuinness ; edizione italiana a cura di Sabina de Waal

Monografia moderna

Descrizione:  Wittgenstein, Ludwig. Ludwig Wittgenstein e il Circolo di Vienna / colloqui annotati da Friedrich Waismann ; presentazione di B. F. McGuinness ; edizione italiana a cura di Sabina de Waal. - Firenze : La Nuova Italia, 1975. 253 p. ; ill. ; 21 cm. ( Dimensioni ; 36 )

Codice record: SBL0589162

Osservazioni sopra i fondamenti della matematica / Ludwig Wittgenstein ; traduzione di Mario Trinchero

Monografia moderna

Descrizione:  Wittgenstein, Ludwig. 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 )

Codice record: CFI0134196

Aritmetica e logica / Gottlob Frege ; traduzione e note [di] L. Geymonat

Monografia moderna

Descrizione:  Frege, Gottlob. Aritmetica e logica / Gottlob Frege ; traduzione e note [di] L. Geymonat. - Torino : G. Einaudi, 1948. 269 p. ; 22 cm.. ( Biblioteca di cultura scientifica ; 18 )

Codice record: CUB0289055

La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli

Monografia moderna

Descrizione:  Lolli, Gabriele. La macchina e le dimostrazioni : matematica, logica e informatica / Gabriele Lolli. - Bologna : Il mulino, [1987]. 155 p. ; 22 cm.. ( Saggi ; 311 )

Codice record: CFI0109309

Gli interessi matematici : dalle origini al 1600 / Bruno D'Amore, Maurizio L. M. Matteuzzi

Monografia moderna

Descrizione:  D& 039;Amore, Bruno. Gli interessi matematici : dalle origini al 1600 / Bruno D'Amore, Maurizio L. M. Matteuzzi. - Venezia : Marsilio, 1976. 174 p. ; 22 cm. ( Saggi ; 48 )

Codice record: RAV0179619