top

  Info

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

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.

Altri cataloghi  

Desiderata

  • Per inviare dei suggerimenti d'acquisto alla biblioteca utilizzare  questo link.
MARC 21 Lista (tabellare)
Corso di logica modale proposizionale / Eugenio Orlandelli, Giovanna Corsi
Corso di logica modale proposizionale / Eugenio Orlandelli, Giovanna Corsi
Orlandelli, Eugenio
Descrizione fisica 193 p. ; 22 cm
Livello bibliografico Monografia
Titolo collana Studi superiori. Filosofia ; 1169
Collocazione 511. 3 ORLEU 1
Orlandelli, Eugenio
Pubblicazione Roma : Carocci, ©2019
Altri autori (Persone) Corsi, Giovanna
Lingua di pubblicazione Italiano
Da Euclide a Gödel / Gabriele Lolli
Da Euclide a Gödel / Gabriele Lolli
Lolli, Gabriele
Descrizione fisica 189 p. ; 22 cm.
Livello bibliografico Monografia
Titolo collana Biblioteca paperbacks ; 21
Collocazione 511. 3 LOLGA 4
Lolli, Gabriele
Pubblicazione Bologna : Il Mulino, ©2004
Lingua di pubblicazione Italiano
Introduction to the theory of computation / Michael Sipser
Introduction to the theory of computation / Michael Sipser
Sipser, Michael
Descrizione fisica xvii, 437 p. : ill. ; 24 cm
Livello bibliografico Monografia
Collocazione 511. 35 SIPMI 1
Sipser, Michael
Pubblicazione Boston : Thomson Course Technology, ©2006
Lingua di pubblicazione Inglese
Logic in theology / edited by Bartosz Brozek, Adam Olszewski, Mateusz Hohol
Logic in theology / edited by Bartosz Brozek, Adam Olszewski, Mateusz Hohol
Descrizione fisica 308 p. ; 25 cm.
Livello bibliografico Monografia
Collocazione 511 BROBA 1
Pubblicazione Krakow : Copernicus Center Press, ©2013
Altri autori (Persone) Hohol, Mateusz
Brozek, Bartosz
Olszewski, Adam
Lingua di pubblicazione Inglese
Logica da zero a Gödel / Francesco Berto
Logica da zero a Gödel / Francesco Berto
Berto, Francesco
Descrizione fisica X, 218 p. ; 21 cm.
Livello bibliografico Monografia
Titolo collana Economica Laterza ; 472
Collocazione 511. 3 BERFR 1
Berto, Francesco
Pubblicazione Roma ; Bari : Laterza, ©2007
Lingua di pubblicazione Italiano
The Logica yearbook
The Logica yearbook
Descrizione fisica v. ; 23 cm.
Livello bibliografico Periodico
Collocazione 511. 3 LOGYE 1
Pubblicazione London : College Publications, 1997-
Altri autori (Persone) Pelis, Michal
Puncochar, Vit.
Lingua di pubblicazione Inglese
Mathematical reasoning and heuristics / edited by Carlo Cellucci and Donald Gillies
Mathematical reasoning and heuristics / edited by Carlo Cellucci and Donald Gillies
Descrizione fisica xxx, 212 p. : ill. ; 23 cm.
Livello bibliografico Monografia
Collocazione 511. 3 CELCA 1
Pubblicazione London : King's College Publications, ©2005
Altri autori (Persone) Cellucci, Carlo
Gillies, Donald
Lingua di pubblicazione Inglese
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema
Blackburn, Patrick
Descrizione fisica xxii, 554 p. : formulari ; 23 cm.
Livello bibliografico Monografia
Titolo collana Cambridge tracts in theoretical computer science ; 53
Collocazione 511. 3 BLAPA 1
Blackburn, Patrick
Pubblicazione Cambridge : Cambridge University Press, 2001
Altri autori (Persone) Rijke, Maarten de.
Venema, Yde.
Lingua di pubblicazione Inglese
La prova matematica dell'esistenza di Dio / Kurt Gödel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi
La prova matematica dell'esistenza di Dio / Kurt Gödel ; a cura di Gabriele Lolli e Piergiorgio Odifreddi
Gödel, Kurt, 1906-1978
Descrizione fisica 123 p. : formulari ; 18 cm.
Livello bibliografico Monografia
Titolo collana Incipit ; 3
Collocazione 511. 3 GODKU 1
Gödel, Kurt, 1906-1978
Pubblicazione Torino : Bollati Boringhieri, ©2006
Altri autori (Persone) Lolli, Gabriele
Odifreddi, Piergiorgio, 1950-
Gödel, Kurt, 1906-1978. Opera omnia
Lingua di pubblicazione Italiano
Topoi : the categorial analysis of logic / Robert Goldblatt
Topoi : the categorial analysis of logic / Robert Goldblatt
Goldblatt, Robert
Descrizione fisica xx, 551 p. : formulari ; 22 cm.
Livello bibliografico Monografia
Titolo collana Dover books on mathematics
Collocazione 511. 3 GOLRO 1
Goldblatt, Robert
Pubblicazione New York : Dover Publications, 2006
Lingua di pubblicazione Inglese