Mathematical logic for computer science / Mordechai Ben-Ari

• Autore: Ben Ari, Mordechai
• Pubblicazione: London, : Springer, 2001
• Edizione: 2. ed
• Descrizione fisica: XIV, 304 p. : ill. ; 24 cm
• Soggetto topico: 03Bxx - General logic [MSC 2020]; 68Qxx - Theory of computing [MSC 2020]
• Titolo autorizzato: Mathematical logic for computer science
• ISBN: 978-18-523-3319-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00045008
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: /sebina/repository/catalogazione/documenti/Ben-Ari - Mathematical logic for computer science.pdf