Handbook of Philosophical Logic Volume 15 / edited by Dov M. Gabbay, Franz Guenthner.

Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory.

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Gabbay, Dov M. (Editor), Guenthner, Franz (Editor)
Format: eBook
Language:English
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2011.
Edition:2nd ed. 2011.
Series:Handbook of Philosophical Logic ; 15
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 b3283326
003 MWH
005 20191028222227.0
007 cr nn 008mamaa
008 101125s2011 ne | s |||| 0|eng d
020 |a 9789400704855 
024 7 |a 10.1007/978-94-007-0485-5  |2 doi 
035 |a (DE-He213)978-94-007-0485-5 
050 4 |a E-Book 
072 7 |a HPL  |2 bicssc 
072 7 |a PHI011000  |2 bisacsh 
072 7 |a QDTL  |2 thema 
245 1 0 |a Handbook of Philosophical Logic  |h [electronic resource] :  |b Volume 15 /  |c edited by Dov M. Gabbay, Franz Guenthner. 
250 |a 2nd ed. 2011. 
264 1 |a Dordrecht :  |b Springer Netherlands :  |b Imprint: Springer,  |c 2011. 
300 |a XIV, 402 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 Handbook of Philosophical Logic ;  |v 15 
490 1 |a Springer eBook Collection 
505 0 |a Editorial Preface -- Dov M. Gabbay -- Lambda Calculi: A Guide -- Chris Hankin -- Interpolation and Definability -- Dov Gabbay and Larisa L. Maksimova -- Discourse Representation Theory -- Hans Kamp, Josef van Genabith and Uwe Reyle -- Index. 
520 |a Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory. 
590 |a Loaded electronically. 
590 |a Electronic access restricted to members of the Holy Cross Community. 
650 0 |a Logic. 
650 0 |a Philosophy. 
650 0 |a Linguistics. 
690 |a Electronic resources (E-books) 
700 1 |a Gabbay, Dov M.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Guenthner, Franz.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
830 0 |a Handbook of Philosophical Logic ;  |v 15 
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-007-0485-5  |3 Click to view e-book  |t 0 
907 |a .b3283326x  |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 
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 .i21964889  |z 02-26-20 
999 f f |i 20a7b62c-7539-5bb4-bb84-f86fe1ddc22e  |s 779fbcba-0177-5b11-90bb-d3e01dc071a9  |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