1
by Benthem, Johan van
Published 1991
North-Holland
Table of Contents: ... of Information; 14 Language Families; 15 Modal Logic of Information Patterns; 16 Relational Algebra of Control...

2
by Benthem, Johan van
Published 1997
Elsevier
Subjects: ...LANGUAGE ARTS & DISCIPLINES / General / bisacsh...

3
by Dickmann, M. A.
Published 1975
North-Holland Pub. Co.
Subjects: ...Infinitary languages / fast / (OCoLC)fst00972420...

4
by Karp, Carol
Published 1964
North-Holland
Table of Contents: ... languages -- Representation theory for Boolean algebras -- Non-deducibility in infinitary propositional...

5
by Eilenberg, Samuel
Published 1974
Academic Press
Subjects: ...Formal languages / http://id.loc.gov/authorities/subjects/sh85050802...

6
by Eilenberg, Samuel
Published 1976
Academic Press

7
by Stroyan, K. D.
Published 1999
Academic Press

8
by Freudenthal, Hans
Published 1960
Elsevier Science
Subjects: ...Lincos (Artificial language) / fast / (OCoLC)fst00999017...

9
by Craig, William
Published 1974
North-Holland Pub. Co.

10
by Nederpelt, R. P.
Published 1994
Elsevier
Table of Contents: ...; Notation; Introduction; Part A: Motivation and exposition; Part B: Language deflnition and special subjects...

11
by Keisler, H. Jerome
Published 1971
North-Holland Pub. Co.
Subjects: ...Infinitary languages / fast / (OCoLC)fst00972420...

12
by Rozenberg, Grzegorz
Published 1980
Academic Press
Subjects: ...Formal languages / http://id.loc.gov/authorities/subjects/sh85050802...

13
by Marcus, Solomon
Published 1967
Academic Press
Table of Contents: ...Languages and partitions -- Linguistics typology -- Parts of speech and syntactic types...

14
by Koshy, Thomas
Published 2004
Elsevier Academic Press
Table of Contents: ...Preface: A Word to the Student; 1. The Language of Logic; 2. The Language of Sets; 3. Functions...

15
by Fu, K. S.
Published 1974
Academic Press
Table of Contents: ... Languages for Pattern Description; 3.1 Selection of Pattern Primitives; 3.2 Pattern Grammar: Introduction...

16
by Morse, Anthony P.
Published 1965
Academic Press
Table of Contents: ...Language and inference -- Logic -- Set theory...

17
by Moody, Ernest A.
Published 1953
North-Holland
Table of Contents: ...Logic and language -- Theory of truth conditions -- Theory of consequence -- Truth and consequence...

18
by Braffort, P.
Published 1963
North-Holland Pub. Co.
Table of Contents: ... -- Abstract computer with a lisp-like machine language without a label operator / P.C. Gilmore -- AS implified...

19
by Braffort, P.
Published 1959
North-Holland
Table of Contents: ... -- Abstract computer with a lisp-like machine language without a label operator / P.C. Gilmore -- AS implified...

20
by Adams, Ernst
Published 1993
Academic Press
Table of Contents: ...; Contributors; Preface; Acknowledgements; Introduction; Part I. Language and Progmmmmg Support for Verified...