Ricerca avanzata

Ordina per:
Risultati: 1-19 su 19
Logica da zero a...

Logica da zero a Godel / Francesco Berto

Roma [etc.] : GLF editori Laterza, 2007

Tipologia:  Monografia moderna

Codice record: E200700299944

Tutti pazzi per...

Tutti pazzi per Godel! : la guida completa al Teorema di Incompletezza / Francesco Berto

Roma [etc.]! : GLF editori Laterza, 2008

Tipologia:  Monografia moderna

Codice record: E200700306584

Strutture,...

Strutture, logica, linguaggi / Luigia Carlucci Aiello, Fiora Pirri

Milano : Pearson Addison Wesley, 2018

Tipologia:  Monografia moderna

Codice record: LO11703889

Pensare meglio :...

Pensare meglio : strategie e scorciatoie per decidere senza sbagliare / Marcus du Sautoy ; traduzione di Daniele Didero

Milano : Rizzoli, 2021

Tipologia:  Monografia moderna

Codice record: RMB0809661

102 Monografia moderna SBN

Logica e aritmetica

Torino : Boringhieri, c1965

Tipologia:  Monografia moderna

Codice record: MG00101631

La prova...

La prova matematica dell'esistenza di Dio / Kurt Godel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi

Torino : Bollati Boringhieri, 2006

Tipologia:  Monografia moderna

Codice record: E200700289552

102 Monografia moderna SBN

Opere / Kurt Godel ; a cura di Solomon Feferman ; con la collaborazione di John W. Dawson Jr. ... [et al.] ; edizione italiana a cura di Edoardo...

Torino : Bollati Boringhieri

Tipologia:  Monografia moderna

Codice record: CMM00348742

Cos'è...

Cos'è davvero la matematica

Milano : Baldini & Castoldi, c2001

Tipologia:  Monografia moderna

Codice record: MG00123226

102 Monografia moderna SBN

Introduzione alla logica combinatoria

Torino : Boringhieri, 1975

Tipologia:  Monografia moderna

Codice record: MG00067116

Gödel, Escher,...

Gödel, Escher, Bach: un'eterna ghirlanda brillante. Una fuga metaforica su menti e macchine nello spirito di Lewis Carrol

Milano : Adelphi, 1998

Tipologia:  Monografia moderna

Codice record: MG00115229

Automi, linguaggi...

Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; edizione italiana a cura di Giovanni Pighizzini

[Milano] : Pearson-Addison Wesley, 2018

Tipologia:  Monografia moderna

Codice record: VIA0346068

Qed :...

Qed : fenomenologia della dimostrazione / Gabriele Lolli

Torino : Bollati Boringhieri, 2005

Tipologia:  Monografia moderna

Codice record: CMM00347451

102 Monografia moderna SBN

Temi fondamentali della logica moderna

Torino : Boringhieri, 1979

Tipologia:  Monografia moderna

Codice record: MG00065970

Le due teste del...

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

Milano : Rizzoli, 2017

Tipologia:  Monografia moderna

Codice record: TO10019313

102 Monografia moderna SBN

Teorie formalizzate e logica matematica

Roma : Studium, 1975

Tipologia:  Monografia moderna

Codice record: MG00094455

Dallo stimolo...

Dallo stimolo alla scienza / Willard Van Orman Quine ; traduzione di Gianni Rigamonti

Milano : Il Saggiatore, c2001

Tipologia:  Monografia moderna

Codice record: MG00131527

102 Monografia moderna SBN

Introduzione alla filosofia matematica

Roma : Newton Compton, 1991

Tipologia:  Monografia moderna

Codice record: MG00125647

Osservazioni...

Osservazioni filosofiche

Torino : Einaudi, c1999

Tipologia:  Monografia moderna

Codice record: MG00103433

La logica matematica

La logica matematica / antologia a cura di Andrea Sani

Scandicci : La nuova Italia, 1996

Tipologia:  Monografia moderna

Codice record: E200700295181