Handbook of logic and proof techniques for computer science / Steven G. Krantz

• Autore: Krantz, Steven G.
• Pubblicazione: Boston, : Birkhäuser, 2002
• Descrizione fisica: XIX, 245 p. ; 24 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 68-XX - Computer science [MSC 2020]
• Titolo autorizzato: Handbook of logic and proof techniques for computer science
• ISBN: 08-17-64220-X
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN00044196
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: /sebina/repository/catalogazione/documenti/Krantz - Handbook of logic and proof techniques for computer science.pdf