João Rasga is an Associate Professor and Cristina Sernadas is a Full Professor at the Mathematics Department of Instituto Superior Técnico
Introducao Ao Calculo Lambda
Chris Hankin - Paperback
£12.00
A Mathematical Primer on Computability
3 authors - Paperback
£13.75
Decidability of Logical Theories and Their Combination
2 authors - Hardback
£54.99
2 authors - Paperback