Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors

• Pubblicazione: XIV, 276 p., : ill. ; 24 cm
• Edizione: [Cham] : Birkhäuser : Springer, 2016
• Descrizione fisica: Pubblicazione in formato elettronico
• Soggetto topico: 03C80 - Logic with extra quantifiers and operators [MSC 2020]; 03B16 - Higher-order logic [MSC 2020]; 03B70 - Logic in computer science [MSC 2020]; 03B38 - Type theory [MSC 2020]
• Persona (resp. second.): Abramsky, Samson
• Titolo autorizzato: Dependence logic
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: SUN0114602
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://dx.doi.org/10.1007/978-3-319-31803-5