Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi

Typed Lambda Calculi ...

Pierre-Louis Cu ...

List Price: £ 78.50

Our Price: £ 40.73

Reforging the Great ...

Simo Knuuttila

Our Price: £ 344.46

Typed Lambda Calculi ...

Martin Hofmann

Our Price: £ 65.46

Evaluation of Multil ...

Paul Clough, Fr ...

List Price: £ 135.00

Our Price: £ 76.59

Dynamics and Control ...

Wodek Gawronski ...

List Price: £ 74.99

Our Price: £ 25.47

Gentzen Calculi for ...

Francesca Poggi ...

List Price: £ 109.99

Our Price: £ 101.99

Switching Theory Ins ...

Shimon Peter Vi ...

List Price: £ 129.99

Our Price: £ 75.99

Displaying Modal Log ...

Heinrich Wansin ...

List Price: £ 109.99

Our Price: £ 102.19

Typed Lambda Calculi ...

Mariangiola Dez ...

List Price: £ 81.00

Our Price: £ 40.99

Cross-Modal Analysis ...

Anna Esposito, ...

List Price: £ 81.00

Our Price: £ 41.49