Sistema Documentario Integrato Mugello Montagna fiorentina |

• en
• de
• es
• fr
• it

Sistema Documentario Integrato Mugello Montagna fiorentina

MediaLibraryOnLine

Risultati ricerca

Seleziona uno o più documenti da richiedere in prestito

 

1/14  

Lo trovi in Memorizza il record

Berto, Francesco
Logica da zero a Godel / Francesco Berto. - 2. ed. - Roma [etc.] : GLF editori Laterza, 2007. - X, 218 p. ; 21 cm. - (Manuali Laterza ; 235)
ISBN 9788842081937
Collana: Manuali Laterza
Soggetto locale: Logica | Logica matematica
Classificazione: 160 [D] [D]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca Borgo San Lorenzo	RT10OC	160 BER	BBO027975	Ammesso	Materiale in biblioteca
	Biblioteca Firenzuola	RT10OD	160 BER	FR038236	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2007 | Codice: E200700299944 | MFN: 0026810

2/14  

Lo trovi in Memorizza il record

Berto, Francesco
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
Soggetto nomi di persona: Godel, Kurt
Soggetto locale: Logica matematica
Classificazione: 511.309 2 [D] [D]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca Borgo San Lorenzo	RT10OC	511 [GOD]	BBO029977	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2008 | Codice: E200700306584 | MFN: 0026812

3/14  

Lo trovi in Memorizza il record

Frege, Gottlob Friederich
Logica e aritmetica. - Torino : Boringhieri, c1965. - 608 p., [1] p. di tav. ill., 22 cm. - (Biblioteca di cultura scientifica, Serie azzurra, 65)
Altri autori: Mangione, Corrado | Geymonat, Ludovico
Collana: Biblioteca di cultura scientifica, Serie azzurra, 65
Soggetto locale: Logica matematica | Aritmetica
Classificazione: 511.3 | 511 [10 ridotta]

	Biblioteca	Codice	Collocazione	Inventario	Disponibilità
	Biblioteca scolastica di Vicchio - Scuola Secondaria I grado	VHY	511 FRE	00194627	Verifica disponibilità in sede

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 1965 | Codice: MG00101631 | MFN: 0100679

4/14  

Memorizza il record

Godel, Kurt
Opere / Kurt Godel ; a cura di Solomon Feferman ; con la collaborazione di John W. Dawson Jr. ... [et al.] ; edizione italiana a cura di Edoardo Ballo ... [et al.]. - Torino : Bollati Boringhieri. - v. ; 24 cm
Nell'occhietto: Opere di Godel
Comprende:
- 1 : 1929-1936 / Kurt Godel
- 2 : 1938-1974 / Kurt Godel
Altri autori: Feferman, Solomon Curatore | Dawson, John W. (jr.) | Ballo, Edoardo Curatore
Soggetto locale: Logica matematica
Classificazione: 511.3 (ed. 21) Matematica. Logica matematica (Logica simbolica)

Vedi il dettaglio dei record compresi

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Codice: CMM00348742 | MFN: 0111477

5/14  

Lo trovi in Memorizza il record

Godel, Kurt
La prova matematica dell'esistenza di Dio / Kurt Godel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi. - Torino : Bollati Boringhieri, 2006. - 123 p. ; 18 cm. - (Incipit ; 3)
ISBN 8833916790
Altri autori: Odifreddi, Piergiorgio Curatore | Lolli, Gabriele Curatore
Collana: Incipit
Soggetto locale: Dio - Prove ontologiche | Logica matematica
Classificazione: 212.1 [D] [D]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca Rufina	RT10OL	211 GOD	00520831	Ammesso	Materiale in biblioteca
	Biblioteca San Godenzo	RT10OM	211 GOD	00648299	Ammesso	Materiale in biblioteca
	Biblioteca Marradi	RT10OF	211 GOD	00688185	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2006 | Codice: E200700289552 | MFN: 0111478

6/14  

Lo trovi in Memorizza il record

Hersh, Reuben
Cos'è davvero la matematica. - Milano : Baldini & Castoldi, c2001. - 493 p. 21 cm. - (I Saggi ; 179)
Trad. di: What is mathematics, really?. - ISBN 8880898736
Altri autori: Giomi, Rosalba
Collana: I Saggi
Soggetto locale: Logica matematica
Classificazione: 164 [10 ridotta]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca Reggello	RT10OI	164 HER	00224418		Materiale in biblioteca
	Biblioteca Scarperia	RT10OO	164 HER	00224419	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2001 | Codice: MG00123226 | MFN: 0123746

7/14  

Lo trovi in Memorizza il record

Hindley, J. Roger - Lercher, Bruce - Seldin, Jonathan Paul
Introduzione alla logica combinatoria. - Torino : Boringhieri, 1975. - 153 p. 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Tit. orig.: Introduction to Combinatory Logic
Altri autori: Azzarello, Ferdinando
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetto locale: Logica matematica
Classificazione: 511 [10 ridotta]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca Borgo San Lorenzo	RT10OC	SR SR 38318	BBO044657	Ammesso	Materiale in biblioteca
	Biblioteca Palazzuolo sul Senio	RT10OG	511 HIN	00132697		Materiale in biblioteca
	Biblioteca Pontassieve	RT10OH	511 HIN	00132698		Materiale in biblioteca
	Biblioteca Marradi	RT10OF	511 HIN	00132696	Ammesso	Materiale in biblioteca
	Biblioteca Scarperia	RT10OO	511 HIN	00132700	Ammesso	Materiale in biblioteca
	Biblioteca Dicomano	RT10OR	511 HIN	DI010436	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 1975 | Codice: MG00067116 | MFN: 0124756

8/14  

Lo trovi in Memorizza il record

Hofstadter, Douglas R.
Gödel, Escher, Bach: un'eterna ghirlanda brillante. Una fuga metaforica su menti e macchine nello spirito di Lewis Carrol. - Milano : Adelphi, 1998. - xxvii, 852 p. ill., 24 cm. - (Gli Adelphi ; 12)
Trad. di: Gödel. Escher, Bach: an eternal golden braid. - ISBN 8845907554
Collana: Gli Adelphi
Soggetto locale: Logica matematica | Intelligenza artificiale
Classificazione: 511 [10 ridotta]

	Biblioteca	Codice	Collocazione	Inventario	Note	Fondo	Prestito	Disponibilità
	Biblioteca Scarperia	RT10OO	511 HOF	00212635			Ammesso	Materiale in biblioteca
	Biblioteca Borgo San Lorenzo	RT10OC	511 HOF	BBO058600	edizione 1994		Ammesso	Materiale in biblioteca
	Biblioteca Firenzuola	RT10OD	MON 511 HOF	00681853		Massimo Montalbani	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 1998 | Codice: MG00115229 | MFN: 0125517

9/14  

Lo trovi in Memorizza il record

La logica matematica / antologia a cura di Andrea Sani. - Scandicci : La nuova Italia, 1996. - LVI, 141 p. ; 21 cm. - (Pensatori antichi e moderni ; 124)
ISBN 8822116917
Altri autori: Sani, Andrea Curatore
Collana: Pensatori antichi e moderni
Soggetto locale: Logica matematica
Classificazione: 511.3 [D] [D]

	Biblioteca	Codice	Collocazione	Inventario	Fondo	Prestito	Disponibilità
	Biblioteca Vicchio	RT10OQ	F.GAR 511 LOG 85	00527936	Garin	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 1996 | Codice: E200700295181 | MFN: 0151766

10/14  

Lo trovi in Memorizza il record

Lolli, Gabriele
Qed : fenomenologia della dimostrazione / Gabriele Lolli. - Torino : Bollati Boringhieri, 2005. - 182 p. ; 22 cm. - (Saggi. Scienze)
ISBN 8833915883
Collana: Saggi. Scienze
Soggetto locale: Logica matematica
Classificazione: 511.3 (ed. 21) Matematica. Logica matematica (Logica simbolica)

	Biblioteca	Codice	Collocazione	Inventario	Note	Prestito	Disponibilità
	Biblioteca Pontassieve	RT10OH	511 LOL	00376047	57835	Ammesso	Materiale in biblioteca

Tipo: 102 - Monografia moderna | Lingua: ITA | Paese: IT | Data di pubblicazione o produzione: 2005 | Codice: CMM00347451 | MFN: 0151839

 

Seleziona uno o più documenti da richiedere in prestito

 

Sistema Documentario Integrato Mugello Montagna fiorentina - Ultimo aggiornamento: 29-06-2024 21:15:04 - Schede in OPAC:  279965
EasyWeb Five ^© 5.7.3 - 1994-2024 è un prodotto Nexus IT

| |