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 (2)

Formato

• Materiale a stampa (2)

Livello bibliografico

• Monografie (2)

Autore (Persona)

• Beklemishev, Lev (2)
• Pentus, Mati (2)
• Vereshchagin, Nikolai K. (2)

Autore (Ente)

Autore (Convegno)

Opere

• Provability, complexity, grammars (2)

Pubbl/distr/stampa

• AMS (2)

Lingua di pubblicazione

• Inglese (2)

Data

• Ultimi 50 anni (2)

Data di pubblicazione

• 1999 (2)

Soggetto (Persona)

Soggetto (Ente)

Soggetto (Convegno)

Soggetto geografico

Soggetto topico

• 03B45 - Modal logic (including the logic of norms) [MSC 2020] (2)
• 03B65 - Logic of natural languages [MSC 2020] (2)
• 03F40 - Gödel numberings and issues of incompleteness [MSC 2020] (2)
• 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] (2)

Soggetto genere / forma