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.

Export / Download (0)

• Esporta in PDF
• Esporta in Excel
• Esporta in HTML
• Esporta in MARC (binario)
• Esporta in MARC XML
• Esporta in MARC (testo)
• Invia tramite E-Mail

Biblioteca

• Univ. del Salento (27)
• Univ. Federico II (21)
• Univ. Vanvitelli (18)
• Univ. della Basilicata (8)
• Univ. di Cassino (2)
• Univ. Parthenope (2)
• Univ. Suor Orsola Benincasa (2)
• Univ. del Sannio (1)

Formato

• Materiale a stampa (79)
• Risorse elettroniche (2)

Livello bibliografico

• Monografie (81)

Autore (Persona)

• Lolli, Gabriele (81)
• Turing, Alan M. (3)
• Cohen, Paul J. (2)
• Dalla Chiara, Maria Luisa (2)
• Turing, Alan Mathison (2)

Autore (Ente)

Autore (Convegno)

Opere

• Introduzione alla logica formale (10)
• Capire una dimostrazione (7)
• Teoria assiomatica degli insiemi (6)
• Lezioni di logica matematica (6)
• Macchina e le dimostrazioni (4)
• Beffe, scienziati e stregoni (4)

Pubbl/distr/stampa

• Boringhieri (18)
• Il Mulino (14)
• Il mulino (13)
• Bollati Boringhieri (12)
• <<Il>> Mulino (3)

Lingua di pubblicazione

• Italiano (75)
• Inglese (5)
• Non definito (1)

Data

• Ultimi 5 anni (1)
• Ultimi 10 anni (5)
• Ultimi 50 anni (77)

Data di pubblicazione

• 1991 (10)
• 1988 (7)
• 1998 (7)
• 1974 (6)
• 1978 (6)
• 1994 (6)
• 1992 (4)
• 1977 (3)
• 1985 (3)
• 1987 (3)

Soggetto (Persona)

Soggetto (Ente)

Soggetto (Convegno)

Soggetto geografico

Soggetto topico

• Logica matematica (13)
• 03-XX - Mathematical logic and foundations [MSC 2020] (8)
• Logica formale (5)
• 00A08 - Recreational mathematics [MSC 2020] (4)
• 03Bxx - General logic [MSC 2020] (4)

Soggetto genere / forma