Ricerca avanzata

Ordina per:
Risultati: 1-12 su 12
Strutture,...

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

Milano : Pearson Addison Wesley, 2018

Tipologia:  Monografia moderna

Codice record: LO11703889

102 Monografia moderna SBN

Logica e aritmetica

Torino : Boringhieri, c1965

Tipologia:  Monografia moderna

Codice record: MG00101631

102 Monografia moderna SBN

Godel

Milano : Mondadori, 2010

Tipologia:  Monografia moderna

Codice record: E200700336590

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

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

Introduzione alla...

Introduzione alla logica formale

Bologna : Il Mulino, 1992

Tipologia:  Monografia moderna

Codice record: MG00080549

Qed :...

Qed : fenomenologia della dimostrazione / Gabriele Lolli

Torino : Bollati Boringhieri, 2005

Tipologia:  Monografia moderna

Codice record: CMM00347451

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

Catastrofici calcoli

Catastrofici calcoli / Kjartan Poskitt ; illustrazioni di Trevor Dunton

Milano : Salani, 2011

Tipologia:  Monografia moderna

Codice record: E200700350980

Otto lezioni...

Otto lezioni sull'infinito / Haim Shapira

Milano : Sperling & Kupfer, 2019

Tipologia:  Monografia moderna

Codice record: ARE0002916

Equilibrio perfetto

Equilibrio perfetto / a cura di Graham Farmelo ; traduzione di Libero Sosio

Milano : Il saggiatore, c2008

Tipologia:  Monografia moderna

Codice record: E200700335780

La logica matematica

La logica matematica / antologia a cura di Andrea Sani

Scandicci : La nuova Italia, 1996

Tipologia:  Monografia moderna

Codice record: E200700295181