Visar resultat för..."College Publications"

Lambda Calculus. Its Syntax and Semantics

Knowledge in Flux

Advances in Modal Logic, V4

Programming Languages and Operational Semantics

An Introduction

Handbook of Exact String Matching Algorithms

Introduction to Lambada Calculi for Computer Scientists

Laws and Models in Science

Logical Reasoning

A First Course

Journal of Homotopy and Related Structures 3(1)

The Haskell Road to Logic, Maths and Programming

Non-deductive Inferences in the Talmud

Textual Inference Rules Klal UPrat. How the Talmud Defines Sets

Echanges Franco-britanniques Entre Savants Depuis Le XVIIe Siecle

Franco-British Interactions in Science Since the Seventeenth Century

New Essays in Logic and Philosophy of Science

Corroborations and Criticisms. Forays with the Philosophy of Karl Popper

Dialectics, Dialogue and Argumentation. An Examination of Douglas Walton's Theories of Reasoning

Criterios De Realidade E Outros Ensaios

Studies in Diagrammatology and Diagram Praxis

Passed Over in Silence. On Wittgenstein's Tractatus and Its System

Logica Yearbook 2009

Journey Through the Systems Landscape

Mathematics of the Models of Reference

Proofs, Categories and Computations. Essays in Honor of Grigori Mints

Advances in Modal Logic Volume 8

Analytical Way. Proceedings of the 6th European Congress of Analytic Philosophy

Picturing Programs. An Introduction to Computer Programming

Construction. Festschrift for Gerhard Heinzmann

Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics

Talmudic Deontic Logic