Login
My List - 0
Help
Search
Quick Search
Program Books
Subject Guides
Acquisition Request
ILL Request
Hours
My Account
Advanced
Basic
Browse
History
Search:
Author Alphabetical
Library of Congress Call Numbers
Series Alphabetical
Subject Alphabetical
Title Alphabetical
Refine Search
> You're searching:
Greenfield Library
Item Information
Holdings
Author Notes & Sketches
Summary
More Content
Subjects
Logic, Symbolic and mathematical
Computer science
Browse Catalog
by title:
What is a logical sy...
MARC Display
What is a logical system? / edited by D.M. Gabbay.
Clarendon Press ; Oxford University Press, 1994.
Subjects
Logic, Symbolic and mathematical
Computer science
Series:
Studies in logic and computation ; 4
Oxford science publications.
Description:
x, 454 p. : ill. ; 25 cm.
Contents:
What is logic? / I. Hacking -- Logic without model theory / R. Kowalski -- Diagrams and the concept of logical system / J. Barwise and E. Hammer -- General dynamic logic / J. van Benthem -- What is a deductive system? / J. Lambek -- The transmission of truth and the transitivity of deduction / N. Tennant -- What is a logical system? / D.M. Gabbay -- What is a logical system? / A. Avron -- Structure, consequence relation and logic / G. Crocco and L. Fariñas del Cerro -- Schematic consequence / P. Aczel -- Logical constants as punctuation marks / K. Dosěn -- Finitary inductively presented logics / S. Feferman -- A theory and its metatheory in FS(subscript O) / S. Matthews -- General logics and logical frameworks / N. Martí-Oliet and J. Meseguer -- General algebraic logic : a perspective on 'what is logic' / I. Németi and H. Andréka.
Added authors:
Gabbay, Dov M., 1945-
ISBN:
0198538596 (cloth)
Copy/Holding information
Collection
Call No.
Volume
Copy
Status
Main Stacks
QA9.2.W48 1994
0
1
Checked In
Request Copy
Add Copy to MyList
Format:
HTML
Plain text
Delimited
Subject:
Email to:
Horizon Information Portal 3.25_9382
© 2001-2013
SirsiDynix
All rights reserved.