Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "Computer Science"
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"
Showing
1
-
20
of
33
Search:
'"Computer Science"'
,
query time: 0.11s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Philosophical Logic and Artificial Intelligence
Published 1989
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
2
Directions in Relevant Logic
Published 1989
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
3
Labelled Non-Classical Logics
by
Viganò, Luca
Published 2000
Springer US
Subjects:
“
...
Computer
science
...
”
Read Now
4
Krister Segerberg on Logic of Actions
Published 2014
Springer Netherlands
Subjects:
“
...
Computer
Science
Logic and Foundations of Programming...
”
Read Now
5
Dag Prawitz on Proofs and Meaning
Published 2015
Springer International Publishing
Subjects:
“
...
Computer
Science
Logic and Foundations of Programming...
”
Read Now
6
Temporal Logic : From Ancient Ideas to Artificial Intelligence
by
Øhrstrøm, Peter
,
Hasle, Per
Published 1995
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
7
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Published 2023
Springer International Publishing
Subjects:
“
...
Computer
science
...
”
Read Now
8
Tests and Proofs : 16th International Conference, TAP 2022, Held as Part of STAF 2022, Nantes, France, July 5, 2022, Proceedings
Published 2022
Springer International Publishing
Subjects:
“
...
Computer
science
...
”
Read Now
9
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...
Computer
science
...
”
Read Now
10
The Realism-Antirealism Debate in the Age of Alternative Logics
Published 2012
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
11
The Nature of Physical Computation
by
Shagrir, Oron
Published 2022
Oxford University Press
Subjects:
“
...
Computer
science
/ bicssc...
”
Read Now
12
Handbook of Logical Thought in India
Published 2022
Springer India
Subjects:
“
...
Computer
science
...
”
Read Now
13
Meaning and Proscription in Formal Logic : Variations on the Propositional Logic of William T. Parry
by
Ferguson, Thomas Macaulay
Published 2017
Springer International Publishing
Subjects:
“
...
Computer
science
—Mathematics...
”
Read Now
14
Constructivity and Computability in Historical and Philosophical Perspective
Published 2014
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
15
Quantifiers: Logics, Models and Computation : Volume One: Surveys
Published 1995
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
16
Quantifiers: Logics, Models and Computation : Volume Two: Contributions
Published 1995
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
17
A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
by
Pagliani, Piero
,
Chakraborty, Mihir
Published 2008
Springer Netherlands
Subjects:
“
...
Computer
science
/ Mathematics...
”
Read Now
18
Recursive Functions and Metamathematics : Problems of Completeness and Decidability, Gödel’s Theorems
by
Murawski, Roman
Published 1999
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
19
Truth, Proof and Infinity : A Theory of Constructive Reasoning
by
Fletcher, P.
Published 1998
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
20
Logic, Rationality, and Interaction : 9th International Workshop, LORI 2023, Jinan, China, October 26–29, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...Natural language processing (
Computer
science
)...
”
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 160 - Logic
Year of Publication
From:
To:
Classification
160 - Logic
000 - Computer science, information & general works
2
600 - Technology
2
100 - Philosophy & psychology
1
330 - Economics
1
333 - Economics of land & energy
1
more ...
400 - Language
1
410 - Linguistics
1
500 - Natural sciences & mathematics
1
530 - Physics
1
576 - Genetics & evolution
1
700 - The arts; fine & decorative arts
1
see all ...
less ...
Language
English
33
Collection
Springer eBooks 2005-
17
Springer Book Archives -2004
14
Directory of Open Access Books
2
Author
Krynicki, Michal
2
Mostowski, M.
2
Szczerba, L.W.
2
Alechina, Natasha
1
Bibel, Wolfgang
1
Bourdeau, Michel
1
more ...
Cate, Balder D. ten
1
Chakraborty, Mihir
1
Chakraborty, Mihir Kumar
1
Ciabattoni, Agata
1
Corsi, Giovanna
1
D'Agostino, M.
1
Dosen, K.
1
Dubucs, Jacques
1
Ferguson, Thomas Macaulay
1
Fletcher, P.
1
Fronhöfer, Bertram
1
Gabbay, Dov M.
1
Harmati, István A.
1
Hasle, Per
1
Herzig, Andreas
1
Hodges, Wilfrid
1
Hähnle, Reiner
1
Indrzejczak, Andrzej
1
Kapsner, Andreas
1
Kovács, Laura
1
Liang, Fei
1
Lupacchini, Rossella
1
László, Kóczy
1
Marion, Mathieu
1
Masuch, M.
1
Meinke, Karl
1
Murawski, Roman
1
Norman, J.
1
Ohlbach, Hans Jürgen
1
Pagliani, Piero
1
Palmigiano, Alessandra
1
Pareschi, Remo
1
Pimentel, Elaine
1
Posegga, J.
1
Prevosto, Virgile
1
Primiero, Giuseppe
1
Pólos, László
1
Rahman, Shahid
1
Reyle, U.
1
Sadrzadeh, Mehrnoosh
1
Sarukkai, Sundar
1
Schmitt, P.H.
1
Seceleanu, Cristina
1
Shagrir, Oron
1
Sylvan, R.
1
Thomason, Richmond H.
1
Trypuz, Robert
1
Viganò, Luca
1
Wansing, Heinrich
1
Zeevat, Henk W.
1
de Queiroz, Ruy
1
de Queiroz, Ruy J. G. B.
1
Øhrstrøm, Peter
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=%22Computer+Science%22&type=Subject
Send by Email
×
Loading...