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. Vanvitelli (6)
• Univ. del Salento (2)
• Univ. del Sannio (1)
• Univ. Suor Orsola Benincasa (1)

Formato

• Materiale a stampa (10)

Livello bibliografico

• Monografie (10)

Autore (Persona)

• Kleene, Stephen Cole (10)

Autore (Ente)

Autore (Convegno)

Opere

• Introduction to metamathematics (5)
• Mathematical logic (5)

Pubbl/distr/stampa

• Dover (3)
• Noordhoff (3)
• North-Holland ; Groningen (2)
• Wolters-Noordhoff (2)
• J. Gabay (1)

Lingua di pubblicazione

• Inglese (9)
• Francese (1)

Data

• Ultimi 50 anni (8)
• Oltre ultimi 50 anni (2)

Data di pubblicazione

• 2000 (3)
• 2002 (3)
• 1967 (1)
• 1971 (1)
• 1991 (1)
• 2004 (1)

Soggetto (Persona)

Soggetto (Ente)

Soggetto (Convegno)

Soggetto geografico

Soggetto topico

• 03-XX - Mathematical logic and foundations [MSC 2020] (6)
• 03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020] (3)
• Logica matematica (1)
• Mathematical logic (1)
• Mathematical logic-textbooks (1)

Soggetto genere / forma