Get Free Shipping on orders over $89
Logic and Computation : Essays in Honour of Amilcar Sernadas - Paula Gouveia

Logic and Computation

Essays in Honour of Amilcar Sernadas

By: Paula Gouveia, Francisco Donisio (Editor), Carlos Caliero (Editor)

Paperback | 29 June 2017

At a Glance

Paperback


$33.00

or 4 interest-free payments of $8.25 with

 or 

Ships in 5 to 7 business days

This  volume celebrates Amílcar Sernadas' (1952--2017) highly significant and original scientific contributions, as well as his outstanding academic career. This compilation of articles by colleagues, former students and friends was prepared in the months that followed the Conference in Honour of Amílcar, which was held at the Instituto Superior Técnico in April 2016, to celebrate his 64th birthday. 

More in Mathematical Logic

The Math Thought Mindset : Logic, Reasoning, and Proofs - James L. Burk
Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
How to Prove It : A Structured Approach - Daniel J. Velleman

RRP $73.95

$70.75

The Math Thought Mindset : Logic, Reasoning, and Proofs - James L. Burk
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz