The Mega Online Bookshop
Welcome Guest | Login | Home | Contact Us
Shopping from USA? Shop in Your Local Currency, Visit http://www.printsasia.com

Gentzen Calculi for Modal Propositional Logic

Typed Lambda Calculi and Applications Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings,354059048X,9783540590484
50 %

Typed Lambda Calculi ...

Mariangiola Dez ...

List Price: £ 81.00

Our Price: £ 40.76

Dynamics and Control of Structures A Modal Approach,0387985271,9780387985275
66 %

Dynamics and Control ...

Wodek Gawronski ...

List Price: £ 74.99

Our Price: £ 25.24

Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings,3540403329,9783540403326

Typed Lambda Calculi ...

Martin Hofmann

Our Price: £ 64.99

Completeness Theory for Propositional Logics,3764385170,9783764385170
45 %

Completeness Theory ...

Witold A. Pogor ...

List Price: £ 69.99

Our Price: £ 38.19

Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi,9027709297,9789027709295
34 %

Model Theory for Mod ...

K.A. Bowen

List Price: £ 109.99

Our Price: £ 72.99

Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings,3642022723,9783642022722
49 %

Typed Lambda Calculi ...

Pierre-Louis Cu ...

List Price: £ 78.50

Our Price: £ 40.30

Displaying Modal Logic,079235205X,9780792352051
10 %

Displaying Modal Log ...

Heinrich Wansin ...

List Price: £ 109.99

Our Price: £ 99.23

Reforging the Great Chain of Being Studies of the History of Modal Theories,9027711259,9789027711250

Reforging the Great ...

Simo Knuuttila

Our Price: £ 334.92

Evaluation of Multilingual and Multi-Modal Information Retrieval 7th Workshop of the Cross-Language Evaluation Forum, Clef 2006, Alicante, Spain, Sep,3540749985,9783540749981
45 %

Evaluation of Multil ...

Paul Clough, Fr ...

List Price: £ 135.00

Our Price: £ 74.41