Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "programming 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
dewey-ones:"160 - Logic"
Search alternatives
:
"programming language" »
"programming languages"
,
"program language"
Showing
1
-
9
of
9
Search:
'"programming language"'
,
query time: 0.15s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Goal-Directed Proof Theory
by
Gabbay, Dov M.
,
Olivetti, N.
Published 2000
Springer Netherlands
Subjects:
“
...
Programming
Languages
, Compilers, Interpreters...
”
Read Now
2
New Essays in Free Logic : In Honour of Karel Lambert
Published 2001
Springer Netherlands
Subjects:
“
...
Programming
Languages
, Compilers, Interpreters...
”
Read Now
3
Domains and Processes : Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Published 2001
Springer Netherlands
Subjects:
“
...
Programming
Languages
, Compilers, Interpreters...
”
Read Now
4
Domain Theory, Logic and Computation : Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
Published 2003
Springer Netherlands
Subjects:
“
...
Programming
Languages
, Compilers, Interpreters...
”
Read Now
5
Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings
Published 2022
Springer International Publishing
Table of Contents:
“
... calculus -- Semantics of
programming
languages
-- Computational linguistics.-Language and computation...
”
Read Now
6
Dictionary of Logic as Applied in the Study of Language : Concepts/Methods/Theories
Published 1981
Springer Netherlands
Table of Contents:
“
... -- Probability --
Programming
languages
-- Quantifiers -- Questions -- Recursive functions -- Relations, theory...
”
Read Now
7
Logic, methodology and philosophy of science IV : proceedings of the Fourth International congress for Logic, Methodology and Philosophy of Science, Bucharest, 1971
by
Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents:
“
...Chapter 17 Features of Natural Languages in
Programming
Languages
PART IV PHILOSOPHY OF LOGIC...
”
Call Number:
BC135
Read Now
8
Truth, Proof and Infinity : A Theory of Constructive Reasoning
by
Fletcher, P.
Published 1998
Springer Netherlands
Table of Contents:
“
... Language as a Functional
Programming
Language
-- 24. Introduction to Part III -- 25. From the Coding...
”
Read Now
9
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Published 2023
Springer International Publishing
“
..., spanning from philosophical aspects to logic,
programming
language
theory, quantum theory, economics...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 160 - Logic
Year of Publication
From:
To:
Classification
160 - Logic
Language
English
9
Collection
Springer Book Archives -2004
6
Springer eBooks 2005-
2
Elsevier eBook collection Mathematics
1
Author
Guo-Qiang Zhang
2
Ying Ming Liu
2
Academia Republicii Socialiste România
1
Ciabattoni, Agata
1
Fletcher, P.
1
Gabbay, Dov M.
1
more ...
Hieke, A.
1
International Congress for Logic, Methodology, and Philosophy of Science ( 1971, Bucharest, Romania)
1
International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
1
Keimel, Klaus
1
Lawson, J.
1
Luo, M.K.
1
Marciszewski, W.
1
Morscher, E.
1
Olivetti, N.
1
Palmigiano, Alessandra
1
Pimentel, Elaine
1
Sadrzadeh, Mehrnoosh
1
Suppes, Patrick
1
Yixiang Chen
1
de Queiroz, Ruy J. G. B.
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=dewey-ones%3A%22160+-+Logic%22&lookfor=%22programming+language%22&type=AllFields
Send by Email
×
Loading...