Location & Availability for: Analysis and synthesis of logics : how t

 Staff view

You must be logged in to Tag Records

Analysis and synthesis of logics [electronic resource] : how to cut and paste reasoning systems /

Walter Carnielli ... [et al.].

Book Cover
Names: Carnielli, Walter A.
Published: Dordrecht : Springer, c2008.
Series: Applied logic series ; v. 35
Topics: Logic, Symbolic and mathematical.
Genres: Electronic books.
Online Access: SpringerLink Link to Analysis and synthesis of logics (access limited to Benedictine University patrons)
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Benedictine University

Loading Holdings Data ... Loading

Location & Availability for: Analysis and synthesis of logics : how t