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
34
Search:
'"Computer Science"'
,
query time: 0.40s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Many-valued Semantics and Modal Logics: Essays in Honour of Yuriy Vasilievich Ivlev
Published 2024
Springer International Publishing
Subjects:
“
...
Computer
science
...
”
Read Now
2
Philosophical Logic and Artificial Intelligence
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
Directions in Relevant Logic
Published 1989
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
5
Krister Segerberg on Logic of Actions
Published 2014
Springer Netherlands
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
Dag Prawitz on Proofs and Meaning
Published 2015
Springer International Publishing
Subjects:
“
...
Computer
Science
Logic and Foundations of Programming...
”
Read Now
8
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Published 2023
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
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
11
The Realism-Antirealism Debate in the Age of Alternative Logics
Published 2012
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
12
The Nature of Physical Computation
by
Shagrir, Oron
Published 2022
Oxford University Press
Subjects:
“
...
Computer
science
/ bicssc...
”
Read Now
13
Handbook of Logical Thought in India
Published 2022
Springer India
Subjects:
“
...
Computer
science
...
”
Read Now
14
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
15
Constructivity and Computability in Historical and Philosophical Perspective
Published 2014
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
16
Quantifiers: Logics, Models and Computation : Volume One: Surveys
Published 1995
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
17
Quantifiers: Logics, Models and Computation : Volume Two: Contributions
Published 1995
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
18
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
19
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
20
Truth, Proof and Infinity : A Theory of Constructive Reasoning
by
Fletcher, P.
Published 1998
Springer Netherlands
Subjects:
“
...
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
34
Collection
Springer eBooks 2005-
18
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
Coniglio, Marcelo Esteban
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
Kubyshkina, Ekaterina
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
Zaitsev, Dmitry
1
Zeevat, Henk W.
1
de Queiroz, Ruy
1
de Queiroz, Ruy J. G. B.
1
Øhrstrøm, Peter
1
see all ...
less ...
Recently Uploaded
Last Month
1
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...