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"
product_txtF_mv:"Springer Book Archives -2004"
Showing
1
-
14
of
14
Search:
'"Computer Science"'
,
query time: 0.40s
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
Temporal Logic : From Ancient Ideas to Artificial Intelligence
by
Øhrstrøm, Peter
,
Hasle, Per
Published 1995
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
5
Quantifiers: Logics, Models and Computation : Volume One: Surveys
Published 1995
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
6
Quantifiers: Logics, Models and Computation : Volume Two: Contributions
Published 1995
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
7
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
8
Truth, Proof and Infinity : A Theory of Constructive Reasoning
by
Fletcher, P.
Published 1998
Springer Netherlands
Subjects:
“
...
Computer
science
...
”
Read Now
9
Dynamic Worlds : From the Frame Problem to Knowledge Management
Published 1999
Springer Netherlands
Subjects:
“
...Data structures (
Computer
science
)...
”
Read Now
10
Handbook of Tableau Methods
Published 1999
Springer Netherlands
Subjects:
“
...
Computer
science
/ Mathematics...
”
Read Now
11
Cut Elimination in Categories
by
Dosen, K.
Published 1999
Springer Netherlands
Subjects:
“
...
Computer
science
/ Mathematics...
”
Read Now
12
Logic, Language and Reasoning : Essays in Honour of Dov Gabbay
Published 1999
Springer Netherlands
Subjects:
“
...
Computer
science
/ Mathematics...
”
Read Now
13
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Published 1998
Springer Netherlands
Subjects:
“
...
Computer
science
/ Mathematics...
”
Read Now
14
Applied Logic: How, What and Why : Logical Approaches to Natural Language
Published 1995
Springer Netherlands
Subjects:
“
...Natural language processing (
Computer
science
)...
”
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 160 - Logic
Clear Filter
Collection: Springer Book Archives -2004
Year of Publication
From:
To:
Classification
160 - Logic
Language
English
14
Collection
Springer Book Archives -2004
Author
Krynicki, Michal
2
Mostowski, M.
2
Szczerba, L.W.
2
Bibel, Wolfgang
1
D'Agostino, M.
1
Dosen, K.
1
more ...
Fletcher, P.
1
Fronhöfer, Bertram
1
Gabbay, Dov M.
1
Hasle, Per
1
Hähnle, Reiner
1
Masuch, M.
1
Murawski, Roman
1
Norman, J.
1
Ohlbach, Hans Jürgen
1
Pareschi, Remo
1
Posegga, J.
1
Pólos, László
1
Reyle, U.
1
Schmitt, P.H.
1
Sylvan, R.
1
Thomason, Richmond H.
1
Viganò, Luca
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&filter%5B%5D=product_txtF_mv%3A%22Springer+Book+Archives+-2004%22&lookfor=%22Computer+Science%22&type=Subject
Send by Email
×
Loading...