Introducao Ao Calculo Lambda

Quantum Heresies

Set Theory

Resolution of Conflicts and Normative Loops in the Talmud (Hardback)

The Normative Structure of Responsibility By Federico L G Faroldi

Monsters and Philosophy By Wolfe C T (Paperback) 9781904987307

Causality and Probability in the Sciences By Russo F Williamson J

Logica e Estrutura

Piketty's Capital in the Twenty-First Century

Chapters in Mathematics. From Pi to Pell

David Hilbert y los fundamentos de la geometria (1891-1905)

Dictionary of Argumentation : A Introduction to Argumentation Studies

Abstract Consequence and Logics : Essays in Honor of Edelcio G. de Souza

Introduction to Propositional Satisfiability

Foundations of Combinatory Logic : (grundlagen Der Kombinatorischen Logik)

Artificial Intelligence. What is it, exactly?

Picturing Programs. An Introduction to Computer Programming

Logic and Computation : Essays in Honour of Amilcar Sernadas

The Lambda Calculus. Its Syntax and Semantics

Argumentation and Reasoned Action. Volume 1

Prolog by Example : How to Learn, Teach and Use It

Prolog

Programmer Passport: Prolog

Programmer Passport: Prolog

Adventure in Prolog

PROLOG for Computer Science

Logic Programming with Prolog

Archery Answers: Learn All the Basics Now

KS3 Science Now Learn and Practice Book

Now Is the Time to Learn Colors & Rhymes

Prolog: The Standard : Reference Manual

Building Expert Systems in Prolog

Intelligent Image Processing in Prolog

Memory Performance of Prolog Architectures

Prolog Programming for Artificial Intelligence

A High Performance Architecture for Prolog

An Introduction to Programming in Prolog

P-prolog: A Parallel Logic Programming Language

The Art of Prolog : Advanced Programming Techniques

Prolog and its Applications : A Japanese perspective