top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Biblioteca

MARC Lista (tabellare)
Che cos'e la logica matematica? / John N. Crossley ... [et al.]
Che cos'e la logica matematica? / John N. Crossley ... [et al.]
Autore Crossley, John N.
Pubbl/distr/stampa Torino : Boringhieri, 1985
Descrizione fisica 124 p. : ill. ; 19 cm
Disciplina 511.3
Collana Universale scientifica ; 140
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISALENTO-991002254759707536
Crossley, John N.  
Torino : Boringhieri, 1985
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Che cos'è la logica matematica? / John N. Crossley... [et al.]
Che cos'è la logica matematica? / John N. Crossley... [et al.]
Autore Crossley, John N.
Pubbl/distr/stampa Torino : Boringhieri, 1976
Descrizione fisica 126 p. ; 19 cm.
Disciplina 511.3
Collana Universale scientifica
Soggetto topico Logica matematica
ISBN 88-339-0011-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIBAS-000009235
Crossley, John N.  
Torino : Boringhieri, 1976
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Che cos'è la logica matematica? / John N. Crossley ... [et al.] ; [trad. di Teresa Pallucchini]
Che cos'è la logica matematica? / John N. Crossley ... [et al.] ; [trad. di Teresa Pallucchini]
Pubbl/distr/stampa Torino : Boringhieri, 1976
Descrizione fisica 124 p. ; 20 cm
Disciplina 511.3
Collana Universale scientifica
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990005598180203316
Torino : Boringhieri, 1976
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Classical recursion theory : the theory of functions ans sets of natural numbers / Piergiorgio Odifreddi
Classical recursion theory : the theory of functions ans sets of natural numbers / Piergiorgio Odifreddi
Autore Odifreddi, piergiorgio
Pubbl/distr/stampa Amsterdam [etc.] : North-Holland, 1989
Descrizione fisica XVII, 668 p. : ill. ; 23 cm.
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
ISBN 0-444-87295-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000011177
Odifreddi, piergiorgio  
Amsterdam [etc.] : North-Holland, 1989
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Codici, complessità di calcolo e linguaggi formali : Atti dell'incontro informale organizzato dai gruppi di ricerca "Informatica teorica" e "Sistemi complessi" : Arco Felice (NA), 13-14 marzo 1975
Codici, complessità di calcolo e linguaggi formali : Atti dell'incontro informale organizzato dai gruppi di ricerca "Informatica teorica" e "Sistemi complessi" : Arco Felice (NA), 13-14 marzo 1975
Pubbl/distr/stampa Napoli : Liguori Ed., 1975
Descrizione fisica 169 p. : ill. ; 23 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione und
Nota di contenuto Testo in più lingue
Record Nr. UNISA-990003221310203316
Napoli : Liguori Ed., 1975
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Colloqui al Circolo di Vienna / Ludwig Wittgenstein ; annotati da Friedrich Waismann ; a cura di Luigi Perissinotto ; postfazione di Giulia Pravato
Colloqui al Circolo di Vienna / Ludwig Wittgenstein ; annotati da Friedrich Waismann ; a cura di Luigi Perissinotto ; postfazione di Giulia Pravato
Autore WITTGENSTEIN, Ludwig
Pubbl/distr/stampa Milano ; Udine : Mimesis, 2011
Descrizione fisica 322 p. ; 21 cm
Disciplina 511.3
Collana Filosofie analitiche, Linguaggio
Soggetto topico Logica matematica
ISBN 978-88-5750-495-7
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990003639570203316
WITTGENSTEIN, Ludwig  
Milano ; Udine : Mimesis, 2011
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Combinatory logic / Haskell B. Curry...[et. al] ; A. Heyting...[et al.] (Eds.)
Combinatory logic / Haskell B. Curry...[et. al] ; A. Heyting...[et al.] (Eds.)
Autore HASKELL, B. Curry
Pubbl/distr/stampa Amsterdam : North-Holland, 1972-74
Descrizione fisica v. : ill. ; 23 cm
Disciplina 511.3
Collana Studies in logic and the foundations of mathematics
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto <> XVIII, 417 p. - <> XIV, 520 p.
Record Nr. UNISA-990003228810203316
HASKELL, B. Curry  
Amsterdam : North-Holland, 1972-74
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Communication: a logical model / Harrar David
Communication: a logical model / Harrar David
Autore HARRAR, David
Pubbl/distr/stampa Cambridge : The M.I.T. Press, 1963
Descrizione fisica IX, 118 p. ; 24 cm
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISA-990003223060203316
HARRAR, David  
Cambridge : The M.I.T. Press, 1963
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Completezza, compattezza e indecidibilità : un'introduzione alla logica matematica / Alfred B. Manaster ; [Trad. di Serenella Cerrito e Marta Cialdea]
Completezza, compattezza e indecidibilità : un'introduzione alla logica matematica / Alfred B. Manaster ; [Trad. di Serenella Cerrito e Marta Cialdea]
Autore Manaster, Alfred B.
Pubbl/distr/stampa Napoli : Bibliopolis, c1981
Descrizione fisica 193 p. : ill. ; 23 cm.
Disciplina 511.3
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNIBAS-000011503
Manaster, Alfred B.  
Napoli : Bibliopolis, c1981
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Completezza, compattezza e indecidibilità : un'introduzione alla logica matematica / Alfred B. Manaster
Completezza, compattezza e indecidibilità : un'introduzione alla logica matematica / Alfred B. Manaster
Autore Manaster, Alfred B.
Pubbl/distr/stampa Napoli, : Bibliopolis, copyr. 1981
Descrizione fisica 193 p. : ill. ; 23 cm
Disciplina 511.3
Collana Testi per lo studio della logica matematica
Soggetto topico Logica matematica
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione ita
Record Nr. UNISA-990000246810203316
Manaster, Alfred B.  
Napoli, : Bibliopolis, copyr. 1981
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui