Catalogo Collettivo Provinciale di Prato |

• en
• de
• es
• fr
• it

Catalogo Collettivo Provinciale di Prato

MediaLibraryOnLine

Risultati ricerca

Seleziona uno o più documenti da richiedere in prestito

 

1/12  

Memorizza il record

Berto, Francesco [1973- ]
Tutti pazzi per Godel! : la guida completa al Teorema di Incompletezza / Francesco Berto. - Roma [etc.] : GLF editori Laterza, 2008. - XV, 270 p. ; 21 cm. - (I Robinson. Letture)
ISBN 9788842085904
Collana: I Robinson. Letture
Soggetti: Teorema di Gödel
Classificazione: 511.3

	Biblioteca	Codice	Collocazione	Inventario	Note di provenienza / Fornitore	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.BER	217158		Ammesso	Materiale in biblioteca
	Biblioteca comunale di Poggio a Caiano	RT10DN	P 511.3 BER	012362	A	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2008 | Gestione database: NOVITA | Codice: E200200166240 | MFN: 0060742

2/12  

Memorizza il record

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

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 38066	200260	Ammesso	Materiale in biblioteca
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.CAS	199398	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2006 | Gestione database: NOVITA | Codice: E200200127792 | MFN: 0105836

3/12  

Memorizza il record

Crespi Reghizzi, Stefano
Linguaggi formali nelle scienze della comunicazione / Stefano Crespi Reghizzi. - Bologna : Zanichelli, 2002. - XII, 276 p. ; 24 cm. - (Testi e manuali)
ISBN 8808078698
Collana: Testi e manuali
Soggetti: Linguaggi formali
Classificazione: 511.3

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 33130	215901	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2002 | Gestione database: NOVITA | Codice: E200200164698 | MFN: 0149353

4/12  

Memorizza il record

Gödel, Kurt
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)
ISBN 8833916790
Altri autori: Lolli, Gabriele Curatore | Odifreddi, Piergiorgio Curatore
Collana: Incipit
Soggetti: Dio - Prove ontologiche - Metodi matematici
Classificazione: 511.3

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.GOD	179929	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2006 | Gestione database: b8, p6 | Codice: E200200064586 | MFN: 0250895

5/12  

Memorizza il record

Hopcroft, John E. - Motwani, Rajeev - Ullman, Jeffrey D. [1942-]
Automi, linguaggi e calcolabilità / John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman ; edizione italiana a cura di Giovanni Pighizzini. - 3. ed. - [Milano] : Pearson Paravia Bruno Mondadori, 2009. - XIX, 499 p. ; 24 cm
ISBN 9788871925523
Titolo uniforme: Introduction to automata theory, languages and computation / John E. Hopcroft
Altri autori: Pighizzini, Giovanni Curatore
Soggetti: Logica matematica | Elaborazione dei dati - Programmazione - Linguaggi
Classificazione: 511.3

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.HOP	217405	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2009 | Gestione database: NOVITA | Codice: E200200167053 | MFN: 0278066

6/12  

Memorizza il record

Lemmon, Edward John
Elementi di logica : con gli esercizi risolti / E. J. Lemmon. - Roma [etc.] : Laterza, 1986. - XI, 296 p. ; 21 cm. - (Biblioteca universale Laterza ; 182)
ISBN 8842027723
Titolo uniforme: Beginning logic / Edward John Lemmon
Collana: Biblioteca universale Laterza
Soggetti: Logica matematica
Classificazione: 511.3

	Biblioteca	Codice	Collocazione	Inventario	Note	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.LEM	199940	7. ed. 2004	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 1986 | Gestione database: NOVITA | Codice: E200200122508 | MFN: 0320545

7/12  

Memorizza il record

Logica numerica : per la preparazione di: ammissioni universitarie, concorsi pubblici, selezioni aziendali / [testi a cura di Emiliano Barbuto]. - 2. ed. - Napoli : EdiSES, 2010. - VIII, 251 p. : ill. ; 21 cm. - (EdiTest)
ISBN 9788879596671
Altri autori: Barbuto, Emiliano Curatore
Collana: EdiTest
Soggetti: Logica matematica
Classificazione: 511.3

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.LOGI	233651	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2010 | Gestione database: NOVITA | Codice: E200200202099 | MFN: 0330982

8/12  

Memorizza il record

Lucchetti, Roberto [1950-]
Passione per Trilli : alcune idee dalla matematica / Roberto Lucchetti. - Milano : Springer, [2007]. - XIV, 154 p. : ill. ; 21 cm. - (I blu)
ISBN 9788847006287
Collana: I blu
Soggetti: Logica matematica
Classificazione: 511.3

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.LUC	200106	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2007 | Gestione database: NOVITA | Codice: E200200127572 | MFN: 0334870

9/12  

Memorizza il record

Odifreddi, Piergiorgio
Matematico e impertinente : varietà differenziale / Piergiorgio Odifreddi. - Bologna : Promo music books, c2007. - 83 p. : ill. ; 22 cm + 1 DVD
ISBN 9788890295010
Soggetti: Logica matematica
Classificazione: 511.3

	Biblioteca	Codice	Collocazione	Inventario	Note	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.ODI	200770		Ammesso	Materiale in biblioteca
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.ODI	224000	DVD	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2007 | Gestione database: NOVITA | Codice: E200200126037 | MFN: 0404186

10/12  

Memorizza il record

Sergio, Emilio
Verità matematiche e forme della natura da Galileo a Newton / Emilio Sergio. - Roma : Aracne, c2006. - 424 p. ; 24 cm. - (A11 ; 154)
ISBN 8854806269
Collana: A11
Soggetti: Teoria della dimostrazione - Sec. 17.
Classificazione: 511.3

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	GTP 511.3.SER	214708	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2006 | Gestione database: NOVITA | Codice: E200200157284 | MFN: 0508046

 

Seleziona uno o più documenti da richiedere in prestito

 

Catalogo Collettivo Provinciale di Prato - Ultimo aggiornamento: 21-08-2024 04:40:12 - Schede in OPAC:  601545
EasyWeb Five ^© 5.7.3 - 1994-2024 è un prodotto Nexus IT

| |