Skip to search
Skip to main content
Catalog
Help
Feedback
Your Account
Library Account
Bookmarks
(
0
)
Search History
Search in
Keyword
Title (keyword)
Author (keyword)
Subject (keyword)
Title starts with
Subject (browse)
Author (browse)
Author (sorted by title)
Call number (browse)
search for
Search
Advanced Search
Bookmarks
(
0
)
Princeton University Library Catalog
Start over
Cite
Send
to
SMS
Email
EndNote
RefWorks
RIS
Printer
Bookmark
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
Author
Carnielli, Walter
[Browse]
Format
Data file
Language
English
Published/Created
Dordrecht : Springer Science+Business Media B.V., 2008.
Availability
Available Online
Online Content
SpringerLink Books Mathematics and Statistics
Springer Nature - Springer Mathematics and Statistics eBooks 2008 English International
Details
Subject(s)
Logic
[Browse]
Logic, Symbolic and mathematical
[Browse]
Computer science
[Browse]
Related name
Coniglio, Marcelo
[Browse]
Gouveia, Paula
[Browse]
Sernadas, Cristina
[Browse]
Gabbay, Dov M.
[Browse]
SpringerLink (Online service)
[Browse]
Series
Applied Logic Series, 1386-2790 ; 35
[More in this series]
In
Springer ebooks mathematics and statistics collection
ISBN
9781402067822
OCLC
233972622
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage.
Read more...
Other views
Staff view
Ask a Question
Suggest a Correction
Report Harmful Language
Supplementary Information
Other versions
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
id
99125327431706421