Volume 8; Issue 1-2

2

Equational Reasoning in Non-Classical Logics

Year:
1998
Language:
english
File:
PDF, 1.79 MB
english, 1998
3

Foreword

Year:
1998
Language:
english
File:
PDF, 269 KB
english, 1998
4

Computational Semantics for Monadic Quantifiers

Year:
1998
Language:
english
File:
PDF, 864 KB
english, 1998
6

Editions HERMES—Journals

Year:
1998
File:
PDF, 202 KB
1998
7

A Shell for Generic Interactive Proof Search

Year:
1998
Language:
english
File:
PDF, 900 KB
english, 1998
8

Editorial Board

Year:
1998
Language:
english
File:
PDF, 228 KB
english, 1998
10

Presentation of articles

Year:
1998
Language:
english
File:
PDF, 292 KB
english, 1998
12

Information for authors

Year:
1998
Language:
english
File:
PDF, 198 KB
english, 1998