Includi: nessuno dei seguenti filtri
× Soggetto Alieni
Includi: tutti i seguenti filtri
× Lingue i
× Soggetto Logica matematica

Trovati 13 documenti.

Introduzione ai Principia mathematica / Alfred North Whitehead, Bertrand Russell ; presentazione e note di Paolo Parrini
Libri Moderni

Whitehead, Alfred North <1861-1947>

Introduzione ai Principia mathematica / Alfred North Whitehead, Bertrand Russell ; presentazione e note di Paolo Parrini

Firenze : La nuova Italia, 1977

Pensatori del nostro tempo ; 18

Introduzione alla logica combinatoria / J.R. Hindley, Bruce Lercher, J.P. Seldin
Libri Moderni

Hindley, J. Roger

Introduzione alla logica combinatoria / J.R. Hindley, Bruce Lercher, J.P. Seldin

Torino : Boringhieri, 1975

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson
Libri Moderni

Robinson, Abraham

Introduzione alla teoria dei modelli e alla metamatematica dell'algebra / Abraham Robinson

Torino : Boringhieri, 1974

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes
Libri Moderni

Hermes, Hans

Enumerabilità, decidibilità, computabilità : introduzione alla teoria delle funzioni ricorsive / Hans Hermes

Torino : Boringhieri, 1975

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Fondamenti della matematica / William S. Hatcher
Libri Moderni

Hatcher, William S.

Fondamenti della matematica / William S. Hatcher

Torino : Boringhieri, 1973

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Introduzione alla logica matematica / Elliott Mendelson
Libri Moderni

Mendelson, Elliott

Introduzione alla logica matematica / Elliott Mendelson

Torino : Boringhieri, 1972

Testi e manuali della scienza contemporanea

Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci
Libri Moderni

Cellucci, Carlo <1940->

Teoria della dimostrazione : normalizzazioni e assegnazioni di numeri ordinali / Carlo Cellucci

Torino : Boringhieri, 1978

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Dalla matematica alla filosofia / Hao Wang
Libri Moderni

Wang, Hao <1921->

Dalla matematica alla filosofia / Hao Wang

Torino : Boringhieri, 1984

Testi e manuali della scienza contemporanea ; Serie di logica matematica

Lezioni sull'intuizionismo : Cambridge 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk Van Dalen
Libri Moderni

Brouwer, Luitzen Egbertus Jan

Lezioni sull'intuizionismo : Cambridge 1946-51 / Luitzen E. J. Brouwer ; a cura di Dirk Van Dalen

Torino : Bollati Boringhieri, 1983

Lectio

Fondamenti di logica per insegnanti / Tamás Varga
Libri Moderni

Varga, Tamas

Fondamenti di logica per insegnanti / Tamás Varga

Torino : Bollati Boringhieri, 1988

Didattica ; Proposte ed esperienze

Teoria delle reti logiche : reti combinatorie / Fabrizio Luccio, Antonio Grasselli
Libri Moderni

Luccio, Fabrizio <1938->

Teoria delle reti logiche : reti combinatorie / Fabrizio Luccio, Antonio Grasselli

Torino : Boringhieri, 1977

Lezioni e seminari. Quaderni di elettronica ; 3

Ludwig Wittgenstein e il Circolo di Vienna / Ludwig Wittgenstein ; colloqui annotati da Friedrich Waismann ; presentazione di B. F. McGuinnes ; edizione italiana a cura di Sabina de Waal
Libri Moderni

Wittgenstein, Ludwig <1889-1951>

Ludwig Wittgenstein e il Circolo di Vienna / Ludwig Wittgenstein ; colloqui annotati da Friedrich Waismann ; presentazione di B. F. McGuinnes ; edizione italiana a cura di Sabina de Waal

Firenze : La nuova Italia, 1975

Dimensioni ; 26

La logica del tempo / a cura di Claudio Pizzi
Libri Moderni

La logica del tempo / a cura di Claudio Pizzi

Torino : Boringhieri, 1974

Testi e manuali della scienza contemporanea ; Serie di logica matematica