Risultati ricerca

1/15   Memorizza il record

Bencivenga, Ermanno
Una logica dei termini singolari / Ermanno Bencivenga. - Torino : Boringhieri, 1980. - 162 p. ; 20 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Altri autori: Boringhieri Editore
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetti: Logica matematica
Classificazione: 511.3 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 24873	065688	Ammesso	Materiale in biblioteca

2/15   Memorizza il record

Bencivenga, Ermanno
Il primo libro di logica : introduzione ai metodi della logica contemporanea / Ermanno Bencivenga. - Torino : Bollati Boringhieri, 1988. - 228 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
ISBN 8833950107
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Parole chiave: Logica
Classificazione: 160 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale di Montemurlo	RT10DB	160 BEN	17397	Ammesso	Materiale in biblioteca

3/15   Memorizza il record

Cellucci, Carlo
Teoria della dimostrazione : normalizzazione e assegnazioni di numeri ordinali / Carlo Cellucci. - Torino : Boringhieri, 1978. - 314 p. ; 20 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Altri autori: Boringhieri Editore
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetti: Logica matematica
Classificazione: 511.3 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 5896	065690	Ammesso	Materiale in biblioteca

4/15   Memorizza il record

Chang, Chen Chung
Teorie dei modelli / Chen-Chung Chang, H. Jerome Keisler. - Torino : Boringhieri, 1980. - 538 p. ; 23 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Trad. di: Model theory.
Altri autori: Keisler, Howard Jerome | Boringhieri Editore
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetti: Modelli matematici
Classificazione: 511.8 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 21615	065691	Ammesso	Materiale in biblioteca

5/15   Memorizza il record

Costantini, Domenico [1937- ]
Introduzione alla probabilita / Domenico Costantini. - Torino : Boringhieri, 1977. - 173 p. ; 21 cm.. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
N. Bibliografia nazionale S9-2374
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetti: Calcolo delle probabilità
Classificazione: 519.2 [CDD] | 519.2 [D] [D]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 5895	065692	Ammesso	Materiale in biblioteca

6/15   Memorizza il record

Hermes, Hans
Enumerabilita, decidibilita, computabilita : introduzione alla teoria delle funzioni ricorsive / Hans Hermes. - Torino : Boringhieri, 1975. - 318 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Trad. dall'inglese (tit.: Enumerability, decidability, computabil ity) di E. Ballo.. - Trad di: Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit.. - N. Bibliografia nazionale 773673
Titolo uniforme: Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit
Altri autori: Ballo, Edoardo
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetti: Algoritmi
Classificazione: 511.8 [CDD] | 511.8 [D] [D]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 22645	065693	Ammesso	Materiale in biblioteca

7/15   Memorizza il record

Hindley, J. Roger
Introduzione alla logica combinatoria / J. R. Hindley, Bruce Lercher, J. P. Seldin. - Torino : Boringhieri, 1975. - 153 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Trad. di: Introduction to combinatory logic.
Altri autori: Lercher, Bruce | Seldin, Jonathan Paul | Boringhieri Editore
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetti: Logica matematica
Classificazione: 511.3 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 22653	065694	Ammesso	Materiale in biblioteca

8/15   Memorizza il record

La logica del tempo / a cura di Claudio Pizzi. - Torino : Boringhieri, 1974. - 410 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
Scritti di vari. - Trad. di C. Pizzi.. - N. Bibliografia nazionale 763792
Altri autori: Pizzi, Claudio [1944- ]
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetti: Logica matematica | Tempo
Classificazione: 511.3 [CDD] | 511.3 [D] [D]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 22646	065698	Ammesso	Materiale in biblioteca

9/15   Memorizza il record

Le logiche libere / a cura di Ermanno Bencivenga. - Torino : Boringhieri, 1976. - 492 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
N. Bibliografia nazionale 786349
Altri autori: Bencivenga, Ermanno
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetti: Logica matematica
Classificazione: 511.3 [CDD] | 160 [D] [D]

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

10/15   Memorizza il record

Lolli, Gabriele
Teoria assiomatica degli insiemi : insiemi costruibili e modelli booleani / Gabriele Lolli. - Torino : Boringhieri, 1974. - 286 p. ; 21 cm. - (Testi e manuali della scienza contemporanea. Serie di logica matematica)
N. Bibliografia nazionale 762735
Collana: Testi e manuali della scienza contemporanea. Serie di logica matematica
Soggetti: Insiemi - Teoria
Classificazione: 511.322 [CDD] | 512.7 [D] [D] | 511.322 [D] [D]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 24863	065695	Ammesso	Materiale in biblioteca
	Biblioteca comunale di Vaiano	RT10DD	510 D 14	7999		Materiale in biblioteca