Risultati ricerca

1/64   Memorizza il record

Agazzi, Evandro
La logica simbolica / Evandro Agazzi. - 2. ed. - Brescia : La Scuola, 1969. - 396 p. ; 20 cm. - (Analisi e sintesi : per la comprensione del nostro tempo ; 7)
Collana: Analisi e sintesi : per la comprensione del nostro tempo
Soggetti: Logica matematica
Classificazione: 511.3 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Note	Prestito	Disponibilità
	Biblioteca popolare di Vernio 'Petrarca'	PET	AGAZ Log	012276	Collocazione|futura:|511.|3.|AGAZ|Log	Ammesso	Verifica disponibilità in sede

2/64   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

3/64   Memorizza il record

Beth, E. W.
I fondamenti logici della matematica / E.W. Beth ; a cura di Ettore Casari. - Milano : Feltrinelli, 1963. - XIII, 335 p. ; 23 cm. - (Filosofia della scienza ; 5)
Trad. di: Les fondements logiques des matématiques
Altri autori: Casari, Ettore
Collana: Filosofia della scienza
Soggetti: Logica matematica
Classificazione: 511.3 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Disponibilità
	Archivio storico diocesano	RT10ED	CR.4100	001028	Verifica disponibilità in sede

4/64   Memorizza il record

Bochenski, Joseph M.
La logica formale : dai presocratici a Leibniz / Joseph M. Bochenski ; edizione italiana a cura di Alberto Conte. - 3 ed. - Torino : Einaudi, 1981. - XXVI, 344 p. : ill. ; 22 cm. - (Nuova biblioteca scientifica ; 40)
Tit. orig.: Formale logik
Collana: Nuova biblioteca scientifica
Soggetti: Logica formale | Logica matematica
Classificazione: 511.3 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Disponibilità
	Biblioteca comunale di Vaiano	RT10DD	510 B 3	3536	Materiale in biblioteca

5/64   Memorizza il record

Bolzano, Bernard
Del metodo matematico / Bernard Bolzano ; introduzione di Carlo Cellucci. - Torino : Boringhieri, 1985. - 100 p. : ill. ; 22 cm. - (Lectio. Letture di filosofia, logica, matematica)
Trad. di: Von der matematischen Lehrart.
Altri autori: Cellucci, Carlo | Boringhieri Editore
Collana: Lectio. Letture di filosofia, logica, matematica
Soggetti: Logica matematica
Classificazione: 511.3 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 21605	084597	Ammesso	Materiale in biblioteca

6/64   Memorizza il record

Bolzano, Bernard
I paradossi dell'infinito / Bernard Bolzano ; prefazione e appendice di F. Voltaggio ; [traduzione dal tedesco di Carla Sborgi]. - Milano : Feltrinelli, 1965. - XXXVIII, 160 p. ; 21 cm. - (Biblioteca scientifica Feltrinelli ; 12)
Trad. di: Paradoxien des Unendlichen. - N. Bibliografia nazionale 6510548
Titolo uniforme: Paradoxien des Unendlichen. / Bernard Bolzano
Altri autori: Sborgi, Carla | Voltaggio, Franco [1934-2023]
Collana: Biblioteca scientifica Feltrinelli
Soggetti: Logica matematica
Classificazione: 111.6 [CDD] | 125 [D]

	Biblioteca	Codice	Collocazione	Inventario	Fondo	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD FV 48	148048	Fondo Vannini	Ridotto	Materiale in biblioteca

7/64   Memorizza il record

Borzacchini, Luigi
Il computer di Ockham : genesi e struttura della Rivoluzione Scientifica / Luigi Borzacchini. - Bari : Dedalo, [2010]. - 650 p. ; 21 cm. - (La scienza nuova ; 147)
ISBN 9788822002471
Titolo uniforme: Il computer di Ockham : genesi e struttura della Rivoluzione Scientifica / Luigi Borzacchini
Collana: La scienza nuova
Soggetti: Logica matematica
Classificazione: 509 [D] [D] | 511.3 [D] [D]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	GTP 509.BOR	BLP000001513	Ammesso	Materiale in biblioteca

8/64   Memorizza il record

Brouwer, Luitzen Egbertus Jan
Lezioni sull'intuizionismo : Cambridge 1946-1951 / Lutzen E. J. Brouwer ; a cura di Dirk van Dalen. - Torino : Boringhieri, 1983. - 113 p., [1] ritr. ; 22 cm. - (Lectio : letture di filosofia, logica, matematica)
Trad. di: Brouwer's Cambridge lectures on intuitionism
Altri autori: Dalen, Dirk : van | Boringhieri Editore
Collana: Lectio : letture di filosofia, logica, matematica
Soggetti: Logica matematica
Classificazione: 143 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 13587	078336	Ammesso	Materiale in biblioteca

9/64   Memorizza il record

Carnap, Rudolf
Fondamenti di logica e matematica / R. Carnap ; introduzione, traduzione e note di Giulio Preti. - Torino : Paravia, c1956. - xxix, 110 p. ; 21 cm. - (Biblioteca di filosofia e pedagogia : nuova edizione)
Trad. di: Foundations of logic and mathematics
Altri autori: Preti, Giulio [1911-1972]
Collana: Biblioteca di filosofia e pedagogia : nuova edizione
Soggetti: Logica matematica
Classificazione: 511.3 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 13858	140255	Ammesso	Materiale in biblioteca

10/64   Memorizza il record

Carnap, Rudolf
Introduzione alla logica simbolica : con particolare riferimento alle sue applicazioni / Rudolf Carnap ; presentazione di Alberto Pasquinelli. - Firenze : La nuova Italia, 1978. - 385 p : ill ; 22 cm. - (Pensatori del nostro tempo ; 16)
Trad. di: Einführung in die symbolische Logik mit besonderer Berücksichtigung ihrer Anwendungen. - Traduzione di Mario Trinchero
Altri autori: Pasquinelli, Alberto
Collana: Pensatori del nostro tempo
Soggetti: Logica matematica
Classificazione: 511.3 [CDD]

	Biblioteca	Codice	Collocazione	Inventario	Prestito	Disponibilità
	Biblioteca comunale Lazzerini	RT10DA	PD 29699	132949	Ammesso	Materiale in biblioteca