Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "computer ; ; ; ; ; ; ; ;"
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
63
Search:
'"computer ; ; ; ; ; ; ; ;"'
,
query time: 0.02s
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
Labelled Non-Classical Logics
by
Viganò, Luca
Published 2000
Springer US
Subjects:
“
...
Computer
science...
”
Read Now
3
Directions in Relevant Logic
Published 1989
Springer Netherlands
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
Temporal Logic : From Ancient Ideas to Artificial Intelligence
by
Øhrstrøm, Peter
,
Hasle, Per
Published 1995
Springer Netherlands
Subjects:
“
...
Computer
science...
”
Read Now
6
Dag Prawitz on Proofs and Meaning
Published 2015
Springer International Publishing
Subjects:
“
...
Computer
Science Logic and Foundations of Programming...
”
Read Now
7
Reasoning about Preference Dynamics
by
Liu, Fenrong
Published 2011
Springer Netherlands
Subjects:
“
...
Computer
Communication Networks...
”
Read Now
8
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
9
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Published 2023
Springer International Publishing
Subjects:
“
...
Computer
science...
”
Read Now
10
Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings
Published 2022
Springer International Publishing
Subjects:
“
...Compilers (
Computer
programs)...
”
Read Now
11
Goal-Directed Proof Theory
by
Gabbay, Dov M.
,
Olivetti, N.
Published 2000
Springer Netherlands
Subjects:
“
...Compilers (
Computer
programs)...
”
Read Now
12
Dynamic Logic. New Trends and Applications : 4th International Workshop, DaLí 2022, Haifa, Israel, July 31–August 1, 2022, Revised Selected Papers
Published 2023
Springer International Publishing
Subjects:
“
...
Computer
Communication Networks...
”
Read Now
13
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:
“
...Models of
Computation
...
”
Read Now
14
New Essays in Free Logic : In Honour of Karel Lambert
Published 2001
Springer Netherlands
Subjects:
“
...Compilers (
Computer
programs)...
”
Read Now
15
Tests and Proofs : 17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Published 2023
Springer Nature Switzerland
Subjects:
“
...Models of
Computation
...
”
Read Now
16
Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings
Published 2008
Springer Berlin Heidelberg
Subjects:
“
...
Computer
science...
”
Read Now
17
The Realism-Antirealism Debate in the Age of Alternative Logics
Published 2012
Springer Netherlands
Subjects:
“
...
Computer
science...
”
Read Now
18
The Nature of Physical Computation
by
Shagrir, Oron
Published 2022
Oxford University Press
Subjects:
“
...
Computer
science / bicssc...
”
Read Now
19
Handbook of Logical Thought in India
Published 2022
Springer India
Subjects:
“
...
Computer
science...
”
Read Now
20
Constructivity and Computability in Historical and Philosophical Perspective
Published 2014
Springer Netherlands
Subjects:
“
...
Computer
science...
”
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 160 - Logic
Year of Publication
From:
To:
Classification
160 - Logic
600 - Technology
5
000 - Computer science, information & general works
4
333 - Economics of land & energy
3
900 - History & geography
3
100 - Philosophy & psychology
2
more ...
576 - Genetics & evolution
2
620 - Engineering & allied operations
2
700 - The arts; fine & decorative arts
2
720 - Architecture
2
120 - Epistemology, causation & humankind
1
140 - Specific philosophical schools
1
300 - Social sciences
1
330 - Economics
1
400 - Language
1
410 - Linguistics
1
500 - Natural sciences & mathematics
1
530 - Physics
1
540 - Chemistry & allied sciences
1
see all ...
less ...
Language
English
62
Collection
Springer Book Archives -2004
34
Springer eBooks 2005-
23
Directory of Open Access Books
6
Author
Gabbay, Dov M.
6
Guenthner, Franz
4
Dalla Chiara, Maria Luisa
2
Guo-Qiang Zhang
2
Krynicki, Michal
2
Mendelsohn, Richard L.
2
more ...
Mostowski, M.
2
Rahman, Shahid
2
Szczerba, L.W.
2
Ying Ming Liu
2
de Rijke, Maarten
2
van Benthem, Johan
2
Ademollo, Francesco
1
Akama, S.
1
Alechina, Natasha
1
Amerini, Fabrizio
1
Areces, Carlos
1
Armgardt, Matthias
1
Bach, E.
1
Bibel, Wolfgang
1
Bourdeau, Michel
1
Cate, Balder D. ten
1
Chakraborty, Mihir
1
Chakraborty, Mihir Kumar
1
Ciabattoni, Agata
1
Corsi, G.
1
Corsi, Giovanna
1
Costa, Diana
1
D'Agostino, M.
1
De Risi, Vincenzo
1
Dosen, K.
1
Dubucs, Jacques
1
Ferguson, Thomas Macaulay
1
Fiore, Michele
1
Fitsch, Hannah
1
Fitting, M.
1
Fitting, Melvin
1
Fletcher, P.
1
Fronhöfer, Bertram
1
Ghirardi, Giancarlo
1
Giuntini, Roberto
1
Harmati, István A.
1
Hasle, Per
1
Herzig, Andreas
1
Hieke, A.
1
Hodges, Wilfrid
1
Hähnle, Reiner
1
Indrzejczak, Andrzej
1
Kapsner, Andreas
1
Keimel, Klaus
1
Khalili, Pedram
1
Kovács, Laura
1
Kvernenes, Hans Christian Nordtveit
1
Lawson, J.
1
Leporini, Roberto
1
Liang, Fei
1
Liu, Fenrong
1
Luo, M.K.
1
Lupacchini, Rossella
1
László, Kóczy
1
Marion, Mathieu
1
Marx, Maarten
1
Masuch, M.
1
Mehonic, Adnan
1
Meinke, Karl
1
Morrill, G.V.
1
Morscher, E.
1
Murawski, Roman
1
Norman, J.
1
Oehrle, Richard T.
1
Ohlbach, Hans Jürgen
1
Olivetti, N.
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
Reyle, U.
1
Sadrzadeh, Mehrnoosh
1
Sarukkai, Sundar
1
Schmitt, P.H.
1
Seceleanu, Cristina
1
Serb, Alex
1
Sergioli, Giuseppe
1
Shagrir, Oron
1
Sieg, Wilfried
1
Sylvan, R.
1
Thomason, Richmond H.
1
Trypuz, Robert
1
Venema, Yde
1
Viganò, Luca
1
Wansing, Heinrich
1
Wheeler, Deirdre
1
Wójcicki, Ryszard
1
Yixiang Chen
1
Zeevat, Henk W.
1
de Queiroz, Ruy
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+%3B+%3B+%3B+%3B+%3B+%3B+%3B+%3B%22&type=Subject
Send by Email
×
Loading...