Research Catalog

Handbook of philosophical logic

Title

Handbook of philosophical logic / edited by D.M. Gabbay and F. Guenthner.

Publication

Dordrecht ; Boston : Kluwer Academic Publishers, ©2001-©2018.
Dordrecht : Springer

Items in the Library & Off-site

Filter by

13 Items

Item details
Status	Vol/Date	Format	Access	Call Number	Item Location
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol.17	Text	Use in library	BC6 .H36 2001 vol.17	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol. 16	Text	Use in library	BC6 .H36 2001 vol. 16	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol. 15	Text	Use in library	BC6 .H36 2001 vol. 15	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol. 14	Text	Use in library	BC6 .H36 2001 vol. 14	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol. 13	Text	Use in library	BC6 .H36 2001 vol. 13	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol. 10	Text	Use in library	BC6 .H36 2001 vol. 10	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol. 9	Text	Use in library	BC6 .H36 2001 vol. 9	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol.8	Text	Use in library	BC6 .H36 2001 vol.8	Off-site
Request for On-site Use Request Scan How do I pick up this item and when will it be ready?	vol.7	Text	Use in library	BC6 .H36 2001 vol.7	Off-site
Request for On-site Use Request Scan Not available - Please for assistance.	vol.6	Text	Use in library	BC6 .H36 2001 vol.6	Off-site
Request for On-site Use Request Scan Not available - Please for assistance.	vol.5	Text	Use in library	BC6 .H36 2001 vol.5	Off-site
Request for On-site Use Request Scan Not available - Please for assistance.	vol.3	Text	Use in library	BC6 .H36 2001 vol.3	Off-site
Request for On-site Use Request Scan Not available - Please for assistance.	vol.2	Text	Use in library	BC6 .H36 2001 vol.2	Off-site

Details

Additional Authors

Description

18 volumes : illustrations; 24 cm

Subject

Bibliography (note)

Includes bibliographical references and index.

Contents

Elementary Predicate Logic / Wilfrid Hodges 1 -- Systems Between First-order and Second-order Logic / Stewart Shapiro 131 -- Higher-Order Logic / Johan van Benthem, Kees Doets 189 -- Algorithms and Decision Problems: A Crash Course in Recursion Theory / Dirk van Dalen 245 -- Mathematics of Logic Programming / Hans Dieter Ebbinghaus, Jorg Flum 313.

ISBN

9780792370185
079237018X
9780792371267
0792371267
9780792371601
0792371607
9781402001390
1402001398
9781402002359
1402002351
9781402005831
1402005830
9781402005992
1402005997
9781402006654
1402006659
9781402006999
1402006993
9781402016448
1402016441
9781402019661
1402019661
9781402030918
1402030916
9781402035203
1402035209
9781402063237
1402063237
9789400704848
9400704844
9789400704787
940070478X
9789400765993
9400765991
9783319977546
3319977547
9781402035210 (canceled/invalid)
9781402063244 (canceled/invalid)
9789400704855 (canceled/invalid)
9789400704794 (canceled/invalid)
9789400766006 (canceled/invalid)
9783319977553 (canceled/invalid)

LCCN

2001029838

OCLC

ocm46884188
46884188
SCSB-1248375

Owning Institutions

Princeton University Library