Skip to contents

Vogler, Walter [Author]

Modular construction and partial order semantics of Petri nets

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Lecture notes in computer science ; 625
Ranta, Aarne [Author]

Type-theoretical grammar

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford [u.a.]: Clarendon Press, 1994

Published in: Indices ; 1
Main, Michael G. [Editor] ; Conference on the Mathematical Foundations of Programming Semantics 5 1989 New Orleans, La, International Conference on the Mathematical Foundations of Programming Semantics 5 1989 New Orleans, La

Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1990

Published in: Lecture notes in computer science ; 442
Conte, Amadeo G. [Editor]; Conte, Amedeo G. [Editor]; Åqvist, Lennart [Other]

Deontische Logik und Semantik

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wiesbaden: Akad. Verl.-Ges. Athenaion, 1977

Published in: Linguistische Forschungen ; 15
Gerhardus, Dietfried [Author] ; Kledzik, Silke M. [Other]; Reitzig, Gerd H. [Other]; Lorenz, Kuno [Author of introduction, etc.]

Schlüssiges Argumentieren : logisch-propädeutisches Lehr- und Arbeitsbuch

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Göttingen: Vandenhoeck & Ruprecht, 1975

Published in: Kleine Vandenhoeck-Reihe ; 1417
Tarski, Alfred [Author] ; Woodger, Joseph H. [Other]

Logic, semantics, metamathematics : papers from 1923 to 1938

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford: Clarendon Press, 1956
Żarnecka-Biały, Ewa [Editor] ; Conference on the History of Logic 33 1987 Krakau

Logic counts : [presented during 33rd Conference on the History of Logic, Kraków, 27 - 29 Oct. 1987]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Kluwer, 1990

Published in: Reason and argument ; 3
Leeuwen, Jan van [Editor]

Formal models and semantics

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: Elsevier [u.a.], 1990

Published in: Handbook of theoretical computer science ; B
Durrant, Michael [Author] ; Horton, Stephen [Editor]

Sortals and the subject-predicate distinction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aldershot [u.a.]: Ashgate, 2001
Krahmer, Emiel [Author]

Presupposition and anaphora

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stanford, Calif.: Center for the Study of Language and Information, c 1998

Published in: Stanford University: CSLI lecture notes ; 89
Baumann, Peter [Author]

Software-Bewertung : ein semantischer Ansatz für Informationsmaße

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Informatik-Fachberichte ; 299
Pinborg, Jan [Author] ; Kohlenberger, Helmut [Other]

Logik und Semantik im Mittelalter : ein Überblick

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart- Bad Cannstatt: Frommann-Holzboog, 1972

Published in: Problemata ; 1000
Winskel, Glynn [Author]

The formal semantics of programming languages : an introduction - [2. printing.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: MIT Press, 1994

Published in: Foundations of computing series
Tarski, Alfred [Author] ; Corcoran, John [Other]

Logic, semantics, metamathematics : papers from 1923 to 1938 - [2. ed.,ed. and introd. by John Corcoran]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Indianapolis, Ind.: Hackett, 1983
Bos, Egbert P. [Other]; Thomas de Clivis [Other]

Logica modernorum in Prague about 1400 : the sophistria disputation 'Quoniam quatuor' (MS Cracow, Jagiellonian Library 686, ff. 1ra-79rb), with a partial reconstruction of Thomas of Cleve's Logica

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Leiden; Boston: Brill, 2004

Published in: Studien und Texte zur Geistesgeschichte des Mittelalters ; 82
Mönnich, Uwe [Editor]; Benthem, Johan van [Other] ; Workshop on Formal Semantics of Natural Languages 1977 Tübingen

Aspects of philosophical logic : some logical forays into central notions of linguistics and philosophy

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dordrecht [u.a.]: Reidel, 1981

Published in: Synthese <Dordrecht> / Library ; 14700
Jin, Yi [Author]

Belief change in reasoning agents : axiomatizations, semantics and computations

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2007
Kraft, Viktor [Author]

Erkenntnislehre

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Wien: Springer, 1960
Deleuze, Gilles [Author] ; Dieckmann, Bernhard [Translator]

Logik des Sinns - [Deutsche Erstausgabe, 1. Auflage]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Frankfurt am Main: Suhrkamp, 1993

Published in: Edition Suhrkamp ; 1707 = N.F., 707 ; Aesthetica
Zhang, Guo-Qiang [Author]

Logic of domains

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston [u.a.]: Birkhäuser, 1991

Published in: Progress in theoretical computer science ; 4

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication