E-LIB Suche - Ergebnisse für: mat 011?

1

Multi-dimensional modal logic

Applied logic series ; 4

Marx, Maarten , 1997

Exemplar: Zentrale:E02 a mat 011.6 e/804

2

First steps in modal logic:

Popkorn, Sally - 1. publ. . , 1994

Exemplar: Zentrale:E02 a mat 011.6 f/328

3

The logic of provability:

Boolos, George - 1. publ. . , 1993

Exemplar: Zentrale:E02 a mat 026.5 e/676

4

Lattices of modal logics:

Wolter, Frank , 1993

Exemplar: Zentrale:Magazin dr 8561

5

A resolution method for some systems of modal logic:

Sommerhalder, Rudolf , 1992

Exemplar: Zentrale:Magazin dr 4650

6

Issues in epistemic and modal logics and their applications:

Mortari, Cezar A. , 1991

Exemplar: Zentrale:Magazin dr 1307

7

Automated proof search in non-classical logics

efficient matrix proof methods for modal and intuitionistic... MIT Press series in artificial intelligence

Wallen, Lincoln , 1990

Exemplar: Zentrale:E02 a mat 026.5 y/581

8

Predicates and fibrations

from type theoretical to category theoretical presentation ...

Pavlović, Duško , 1990

Exemplar: Zentrale:Magazin dp 9815

9

Internal definability and completeness in modal logic:

Kracht, Marcus , 1990

Exemplar: Zentrale:Magazin dr 1213

10

Modale Logiken von geflechtartigen Datenstrukturen und ihre..:

Kausche, Andreas , 1989

Exemplar: Zentrale:Magazin dp 8544

11

Mathematical intuitionism

introduction to proof theory Translations of mathematical monographs ; 67

Dragalin, Al'bert Grigor'evič ; Dragalin, Alʹbert Grigorʹevich , c1988

Exemplar: Zentrale:E02 a mat 011 e/972

12

Eine deontische Logik auf der Grundlage dynamischer Aussage..:

Buck, Brigitte , 1987

Exemplar: Zentrale:Magazin dp 1613

13

Realisierbarkeitskalküle

ML o und vergleichbare Theorien im Verhältnis zur Heyting-...

Eggerz, Páll , 1986

Exemplar: Zentrale:Magazin dk 6423

14

Self-reference and modal logic

Universitext

Smoryński, Craig , 1985

Exemplar: Zentrale:E02 a mat 011.6 e/350

15

The L. E. J. Brouwer Centenary Symposium

proceedings of the conference, held in Noordwijkerhout, 8 -... Studies in logic and the foundations of mathematics ; 110

Troelstra, Anne S. ; Dalen, Dirk van ; Brouwer, Luitzen E. J. , 1982

Exemplar: Zentrale:E02 h mat 011 i/806