MPG.eBooks - Search Results - Ruy de Oliveira

Search alternatives:
ruy de » guy de , puy de , ruy do
oliveira » oliver

Cover Image

1

Logic, Language, Information, and Computation : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Published 2015

Springer Berlin Heidelberg

Cover Image

2

Advances in Natural Deduction : A Celebration of Dag Prawitz's Work

Published 2014

Springer Netherlands

Table of Contents: “... Deduction for Equality: The Missing Entity; de Quieroz, Ruy J.G.B. and de Oliveira, Anjolina G -- Chapter 5...”