MPG.eBooks - Search Results - "Applied Logic Series"

Search alternatives:
logic series » logic queries , logic sergei , logic serial

Cover Image

1

Logical and Computational Aspects of Model-Based Reasoning

Published 2002

Springer Netherlands

“...Applied Logic Series...”

Cover Image

2

Abduction and Induction : Essays on their Relation and Integration

Published 2000

Springer Netherlands

“...Applied Logic Series...”

Cover Image

3

Advances in Temporal Logic

Published 2000

Springer Netherlands

“...Applied Logic Series...”

Cover Image

4

An Introduction to Mathematical Logic and Type Theory : To Truth Through Proof

by Andrews, Peter B.
Published 2002

Springer Netherlands

“...Applied Logic Series...”

Cover Image

5

Thirty Five Years of Automating Mathematics

Published 2003

Springer Netherlands

“...Applied Logic Series...”

Cover Image

6

The Semantics and Proof Theory of the Logic of Bunched Implications

by Pym, David J.
Published 2002

Springer Netherlands

“...Applied Logic Series...”