Model Theory for Modal Logic Kripke Models for Modal Predicate Calculi

Typed Lambda Calculi ...

Martin Hofmann

Our Price: £ 64.99

Cross-Modal Analysis ...

Anna Esposito, ...

List Price: £ 81.00

Our Price: £ 40.99

Switching Theory Ins ...

Shimon Peter Vi ...

List Price: £ 129.99

Our Price: £ 73.97

Displaying Modal Log ...

Heinrich Wansin ...

List Price: £ 109.99

Our Price: £ 99.23

Gentzen Calculi for ...

Francesca Poggi ...

List Price: £ 109.99

Our Price: £ 100.99

Dynamics and Control ...

Wodek Gawronski ...

List Price: £ 74.99

Our Price: £ 25.24

Typed Lambda Calculi ...

Pierre-Louis Cu ...

List Price: £ 78.50

Our Price: £ 40.30

Reforging the Great ...

Simo Knuuttila

Our Price: £ 334.92

Evaluation of Multil ...

Paul Clough, Fr ...

List Price: £ 135.00

Our Price: £ 74.41

Typed Lambda Calculi ...

Mariangiola Dez ...

List Price: £ 81.00

Our Price: £ 40.76