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

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.

Les mer
Lambda Calculi: A Guide Interpolation and Definability Discourse Representation Theory
Lambda Calculi: A Guide Interpolation and Definability Comprehensive coverage Discourse Representation Theory comprehensive coverage Focuses on selected topics

Produktdetaljer

ISBN
9789400734517
Publisert
2013-01-27
Utgave
2. utgave
Utgiver
Vendor
Springer
Høyde
235 mm
Bredde
155 mm
Aldersnivå
Research, P, 06
Språk
Product language
Engelsk
Format
Product format
Heftet