Theory of Logical Calculi Basic Theory of Consequence Operations / by Ryszard Wójcicki.

Saved in:
Bibliographic Details
Main Author: Wójcicki, Ryszard (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 1988.
Edition:1st ed. 1988.
Series:Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ; 199
Springer eBook Collection.
Subjects:
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.

MARC

LEADER 00000nam a22000005i 4500
001 b3225093
003 MWH
005 20191025031557.0
007 cr nn 008mamaa
008 130430s1988 ne | s |||| 0|eng d
020 |a 9789401569422 
024 7 |a 10.1007/978-94-015-6942-2  |2 doi 
035 |a (DE-He213)978-94-015-6942-2 
050 4 |a E-Book 
072 7 |a HPL  |2 bicssc 
072 7 |a PHI011000  |2 bisacsh 
072 7 |a QDTL  |2 thema 
100 1 |a Wójcicki, Ryszard.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a Theory of Logical Calculi  |h [electronic resource] :  |b Basic Theory of Consequence Operations /  |c by Ryszard Wójcicki. 
250 |a 1st ed. 1988. 
264 1 |a Dordrecht :  |b Springer Netherlands :  |b Imprint: Springer,  |c 1988. 
300 |a XVIII, 474 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 1 |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;  |v 199 
490 1 |a Springer eBook Collection 
505 0 |a 0. Introduction -- 1. Basic Concepts -- 2. Deductive Bases and Interpretations -- 3. Logical Matrices -- 4. Tabular Semantics -- 5. Referential Semantics -- 6. Propositional vs. Predicate Logics -- References -- Index of subjects -- Index of names -- Index of symbols. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Logic. 
650 0 |a Mathematical logic. 
650 0 |a Computational linguistics. 
690 |a Electronic resources (E-books) 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;  |v 199 
830 0 |a Springer eBook Collection. 
856 4 0 |u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-94-015-6942-2  |3 Click to view e-book  |t 0 
907 |a .b32250939  |b 04-18-22  |c 02-26-20 
998 |a he  |b 02-26-20  |c m  |d @   |e -  |f eng  |g ne   |h 0  |i 1 
912 |a ZDB-2-SHU 
912 |a ZDB-2-BAE 
950 |a Humanities, Social Sciences and Law (Springer-11648) 
902 |a springer purchased ebooks 
903 |a SEB-COLL 
945 |f  - -   |g 1  |h 0  |j  - -   |k  - -   |l he   |o -  |p $0.00  |q -  |r -  |s b   |t 38  |u 0  |v 0  |w 0  |x 0  |y .i2138258x  |z 02-26-20 
999 f f |i 86092d8f-72b1-5d2d-bc2d-c5d970d93ef5  |s 919764a3-f951-5e16-a34c-6f80d154a2d7  |t 0 
952 f f |p Online  |a College of the Holy Cross  |b Main Campus  |c E-Resources  |d Online  |t 0  |e E-Book  |h Library of Congress classification  |i Elec File