Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "language"
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Retain my current filters
product_txtF_mv:"Elsevier eBook collection Mathematics"
Showing
1
-
20
of
50
Search:
'"language"'
,
query time: 0.07s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Language
in action : categories, lambdas, and dynamic logic
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...
”
Call Number:
P39
Read Now
2
Handbook of logic and
language
by
Benthem, Johan van
Published 1997
Elsevier
Subjects:
“
...
LANGUAGE
ARTS & DISCIPLINES / General / bisacsh...
”
Call Number:
QA76.9.N38
Read Now
3
Large infinitary
languages
: model theory
by
Dickmann, M. A.
Published 1975
North-Holland Pub. Co.
Subjects:
“
...Infinitary
languages
/ fast / (OCoLC)fst00972420...
”
Call Number:
QA9.37
Read Now
4
Languages
with expressions of infinite length
by
Karp, Carol
Published 1964
North-Holland
Table of Contents:
“
...
languages
-- Representation theory for Boolean algebras -- Non-deducibility in infinitary propositional...
”
Call Number:
QA9.L3
Read Now
5
Automata,
languages
and machines, Volume A
by
Eilenberg, Samuel
Published 1974
Academic Press
Subjects:
“
...Formal
languages
/ http://id.loc.gov/authorities/subjects/sh85050802...
”
Call Number:
QA267
Read Now
6
Automata,
languages
and machines, Voume B
by
Eilenberg, Samuel
Published 1976
Academic Press
Call Number:
QA3
Read Now
7
Projects for calculus : the language of change
by
Stroyan, K. D.
Published 1999
Academic Press
Call Number:
QA303.5.C65
Read Now
8
Lincos : design of a language for cosmic intercourse
by
Freudenthal, Hans
Published 1960
Elsevier Science
Subjects:
“
...Lincos (Artificial
language
) / fast / (OCoLC)fst00999017...
”
Call Number:
PM8508.A1
Read Now
9
Logic in algebraic form : Three languages and theories
by
Craig, William
Published 1974
North-Holland Pub. Co.
Call Number:
QA10
Read Now
10
Selected papers on Automath
by
Nederpelt, R. P.
Published 1994
Elsevier
Table of Contents:
“
...; Notation; Introduction; Part A: Motivation and exposition; Part B:
Language
deflnition and special subjects...
”
Call Number:
QA267.3
Read Now
11
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
by
Keisler, H. Jerome
Published 1971
North-Holland Pub. Co.
Subjects:
“
...Infinitary
languages
/ fast / (OCoLC)fst00972420...
”
Call Number:
QA9
Read Now
12
The mathematical theory of L systems
by
Rozenberg, Grzegorz
Published 1980
Academic Press
Subjects:
“
...Formal
languages
/ http://id.loc.gov/authorities/subjects/sh85050802...
”
Call Number:
QA3
Read Now
13
Algebraic linguistics : analytical models
by
Marcus, Solomon
Published 1967
Academic Press
Table of Contents:
“
...
Languages
and partitions -- Linguistics typology -- Parts of speech and syntactic types...
”
Call Number:
P123
Read Now
14
Discrete mathematics with applications
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...
”
Call Number:
QA39.3
Read Now
15
Syntactic methods in pattern recognition
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...
”
Call Number:
Q327
Read Now
16
A theory of sets
by
Morse, Anthony P.
Published 1965
Academic Press
Table of Contents:
“
...
Language
and inference -- Logic -- Set theory...
”
Call Number:
QA3
Read Now
17
Truth and consequence in mediaeval logic
by
Moody, Ernest A.
Published 1953
North-Holland
Table of Contents:
“
...Logic and
language
-- Theory of truth conditions -- Theory of consequence -- Truth and consequence...
”
Call Number:
BC34
Read Now
18
Computer programming and formal systems
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...
”
Call Number:
QA76
Read Now
19
Computer programming and formal systems
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...
”
Call Number:
QA76.6
Read Now
20
Scientific computing with automatic result verification
by
Adams, Ernst
Published 1993
Academic Press
Table of Contents:
“
...; Contributors; Preface; Acknowledgements; Introduction; Part I.
Language
and Progmmmmg Support for Verified...
”
Call Number:
QA76
1
2
3
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Elsevier eBook collection Mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
25
512 - Algebra
5
515 - Analysis
4
160 - Logic
3
510 - Mathematics
3
519 - Probabilities & applied mathematics
2
more ...
001 - Knowledge
1
005 - Computer programming, programs & data
1
150 - Psychology
1
301 - Sociology & anthropology
1
306 - Culture & institutions
1
401 - Philosophy & theory
1
410 - Linguistics
1
415 - Grammar
1
499 - Austronesian & other languages
1
516 - Geometry
1
530 - Physics
1
see all ...
less ...
Language
English
50
Collection
Elsevier eBook collection Mathematics
Author
Benthem, Johan van
2
Braffort, P.
2
Eilenberg, Samuel
2
Hirschberg, D.
2
Keisler, H. Jerome
2
Morse, Anthony P.
2
more ...
Paris, J. B.
2
Robinson, Abraham
2
Abhyankar, Shreeram Shankar
1
Academia Republicii Socialiste România
1
Adams, Ernst
1
Aggarwal, N. L.
1
Ash, C. J.
1
Ault, J. C.
1
Börger, E.
1
Brudnyĭ, I︠U︡. A.
1
Calude, Cristian
1
Chang, Chen Chung
1
Craig, William
1
Dickmann, M. A.
1
Drake, F. R.
1
Dym, Clive L.
1
Ebbinghaus, Heinz-Dieter
1
Freudenthal, Hans
1
Fu, K. S.
1
Gao, Xiao-Shan
1
Gradshteĭn, I. S.
1
International Congress for Logic, Methodology, and Philosophy of Science ( 1971, Bucharest, Romania)
1
International FCT-Conference (1983, Borgholm, Sweden)
1
International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
1
Jacquette, Dale
1
Jeffrey, Alan
1
Karp, Carol
1
Karpiński, Marek
1
Knight, J.
1
Koshy, Thomas
1
Krugljak, N. Ya
1
Kulisch, Ulrich
1
Leeuwen, J. van
1
León, Manuel de
1
Lightstone, A. H.
1
Lobenberg, M.
1
Logic Colloquium '84 (1984, Manchester)
1
Logic Colloquium (1977, Wrocław, Poland)
1
Logic Colloquium (1987, Granada, Spain)
1
Macintyre, Angus
1
Marcus, Solomon
1
Martin, R. M.
1
Meulen, Alice G. B. ter
1
Mikołajczak, Bolesław
1
Mirsky, L.
1
Moody, Ernest A.
1
Moschovakis, Yiannis N.
1
Nederpelt, R. P.
1
Odifreddi, Piergiorgio
1
Pacholski, Leszek
1
Picard, Claude François
1
Risjord, Mark W.
1
Rodrigues, Paulo R.
1
Rozenberg, Grzegorz
1
Ryzhik, I. M.
1
Salomaa, Arto
1
Stern, August
1
Stroyan, K. D.
1
Suppes, Patrick
1
Thagard, Paul
1
Tilson, Bret
1
Turner, Stephen P.
1
Wang, Dongming
1
Wilkie, A. J.
1
Wilmers, G. M.
1
Zbilut, Joseph P.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=product_txtF_mv%3A%22Elsevier+eBook+collection+Mathematics%22&lookfor=%22language%22&type=AllFields
Send by Email
×
Loading...