Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
Applied logic for computer sci...
Description
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
Applied logic for computer scientists : Computational deduction and formal proofs.
Bibliographic Details
Format:
Book
Online Access:
Ver documento en línea
Holdings
Description
Similar Items
Staff View
Description
ISBN:
9783319516530
Similar Items
Applied logic for computer scientists : computational deduction and formal proofs /
by: Ayala-Rincón, Mauricio
Published: (2017)
Computational logic and set theory : Applying Formalized Logic to Analysis /
Published: (2011)
Computability and logic /
by: Boolos, George
Published: (1980)
Deduction, computation, experiment : exploring the effectiveness of proof /
Published: (2008)
Computer logic : the functional design of digital computers /
by: Flores, Iván, et al.
Published: (1960)
×
Loading...