Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ("logica" OR "logical")*
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
product_txtF_mv:"Elsevier eBook collection Mathematics"
Search alternatives
:
"logica" »
"logics"
"logical" »
"logicsl"
Showing
1
-
20
of
199
Search:
'("logica" OR "logical")*'
,
query time: 0.09s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Handbook of modal
logic
by
Blackburn, Patrick
Published 2007
Elsevier
Table of Contents:
“
... Theory -- Modal
Logic
: A Semantic Perspective (J. van Benthem and P. Blackburn) -- Modal Proof Theory (M...
”
Call Number:
BC199.M6
Read Now
2
The rise of modern
logic
: from Leibniz to Frege
by
Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents:
“
...Preface (D.M. Gabbay, J. Woods) -- List of Contributors -- Leibniz's
Logic
(W. Lenzen) -- Kant...
”
Call Number:
BC15
Read Now
3
Handbook of the history of
logic
by
Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents:
“
...v. 1. Greek, Indian, and Arabic
logic
-- v. 2. Mediaeval and Renaissance
logic
-- v. 3. The rise...
”
Call Number:
BC15
Read Now
4
Handbook of mathematical
logic
by
Barwise, Jon
Published 1977
North-Holland Pub. Co.
Subjects:
“
...
Logic
, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
5
Greek, Indian, and Arabic
logic
by
Gabbay, Dov M.
Published 2004
Elsevier
Table of Contents:
“
...Contents -- Preface (D.M. Gabbay, J. Woods) -- List of Contributors --
Logic
before Aristotle...
”
Call Number:
BC15
Read Now
6
Admissibility of
logical
inference rules
by
Rybakov, Vladimir V.
Published 1997
Elsevier
Subjects:
“
...
Logic
, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
7
Logical
frameworks for truth and abstraction : an axiomatic study
by
Cantini, Andrea
Published 1996
Elsevier Science B.V.
Subjects:
“
...
Logic
, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
8
Combinatory
logic
by
Curry, Haskell B.
Published 1958
North-Holland
Table of Contents:
“
...
logic
-- Basic theory of functionality -- Stronger theories of functionality...
”
Call Number:
QA9.5
Read Now
9
Patras
Logic
Symposion : proceedings of the Logic Symposion held at Patras, Greece, August 18-22, 1980
by
Metakides, George
Published 1982
North-Holland Pub. Co.
Subjects:
“
...
Logic
, Symbolic and mathematical / fast / (OCoLC)fst01002068...
”
Call Number:
QA9.A1
Read Now
10
Many-dimensional modal
logics
: theory and applications
by
Gabbay, Dov M.
Published 2003
Elsevier North Holland
Table of Contents:
“
...Part I: Introduction -- Chapter 1. Modal
logic
basics -- Chapter 2. Applied modal
logic
-- Chapter...
”
Call Number:
BC199.M6
Read Now
11
Southeast Asian Conference on
Logic
: proceedings of the Logic Conference, Singapore, 1981
by
Chong, C.-T.
Published 1983
North-Holland
Subjects:
“
...
Logic
, Symbolic and mathematical / fast / (OCoLC)fst01002068...
”
Call Number:
BC135
Read Now
12
Tools and techniques in modal
logic
by
Kracht, Marcus
Published 1999
Elsevier
Table of Contents:
“
...<IT>Chapter Headings only.</IT> About this Book. Overview. Part 1. The Fundamentals. Algebra,
logic
...
”
Call Number:
QA9.46
Read Now
13
Logic
in algebraic form : Three languages and theories
by
Craig, William
Published 1974
North-Holland Pub. Co.
Subjects:
“
...Algebraic
logic
/ fast / (OCoLC)fst00804936...
”
Call Number:
QA10
Read Now
14
Proceedings of the Second Scandinavian
Logic
Symposium
Published 1971
North-Holland Pub. Co.
Subjects:
“
...
Logic
, Symbolic and mathematical / fast / (OCoLC)fst01002068...
”
Call Number:
QA9
Read Now
15
Logic
Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986
by
Drake, F. R.
Published 1988
North-Holland
Table of Contents:
“
... for Certain Modal
Logics
; Chapter 11 Model Theory and Representation Type of Algebras; Chapter 12 The Knuth...
”
Call Number:
QA9.A1
Read Now
16
Ancient formal
logic
by
Bochenski, Joseph M.
Published 1951
North-Holland Pub. Co.
Subjects:
“
...
Logic
...
”
Call Number:
BC28
Read Now
17
Logic
Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic
by
Dalen, D. van
Published 1982
North-Holland Pub. Co.
Subjects:
“
...
Logic
, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
BC135
Read Now
18
Categorical
logic
and type theory
by
Jacobs, Bart
Published 1999
Elsevier Science
Table of Contents:
“
... to fibred category theory. Simple type theory. Equational
logic
. First order predicate
logic
. Higher order...
”
Call Number:
QA9
Read Now
19
Handbook of the
logic
of argument and inference : the turn towards the practical
by
Gabbay, Dov M.
Published 2002
North Holland/Elsevier
Table of Contents:
“
...Front Cover; Handbook of the
Logic
of Argument and Inference; Copyright Page; Preface; List...
”
Call Number:
QA9
Read Now
20
Handbook of
logic
and language
by
Benthem, Johan van
Published 1997
Elsevier
Table of Contents:
“
...Montague grammar / B.H. Partee with H.L.W. Hendricks -- Categorial type
logics
/ M. Moortgat...
”
Call Number:
QA76.9.N38
1
2
3
4
5
6
7
8
9
10
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Elsevier eBook collection Mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
118
160 - Logic
17
512 - Algebra
14
501 - Philosophy & theory
8
164 - [Unassigned]
7
515 - Analysis
7
more ...
510 - Mathematics
6
519 - Probabilities & applied mathematics
3
629 - Other branches of engineering
3
005 - Computer programming, programs & data
2
161 - Induction
2
514 - Topology
2
530 - Physics
2
001 - Knowledge
1
003 - Systems
1
006 - Special computer methods
1
166 - Syllogisms
1
306 - Culture & institutions
1
401 - Philosophy & theory
1
415 - Grammar
1
499 - Austronesian & other languages
1
516 - Geometry
1
517 - [Unassigned]
1
621 - Applied physics
1
658 - General management
1
see all ...
less ...
Language
English
199
Collection
Elsevier eBook collection Mathematics
Author
Gabbay, Dov M.
10
Woods, John
8
Mostowski, Andrzej
7
Robinson, Abraham
6
Tarski, Alfred
5
Dalen, D. van
4
more ...
Fenstad, Jens Erik
4
Gandy, R. O.
4
Keisler, H. Jerome
4
Kuratowski, Kazimierz
4
Suppes, Patrick
4
Association for Symbolic Logic
3
Bar-Hillel, Yehoshua
3
Benthem, Johan van
3
Chuaqui, R.
3
Crossley, John N.
3
Curry, Haskell B.
3
Fraenkel, Abraham Adolf
3
International Colloquium in the Philosophy of Science (1965, Bedford College)
3
International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
3
Lakatos, Imre
3
Arruda, A. I.
2
Barwise, Jon
2
Bedford College
2
Bernays, Paul
2
Boone, W. W.
2
Braffort, P.
2
British Society for the Philosophy of Science
2
Costa, Newton C. A. da
2
Craig, William
2
Drake, F. R.
2
Ershov, I︠U︡riĭ Leonidovich
2
Fitting, Melvin
2
Fraïssé, Roland
2
Goodstein, R. L.
2
Henkin, Leon
2
Heyting, A.
2
Hirschberg, D.
2
Jech, Thomas J.
2
Kleene, Stephen Cole
2
Kunen, Kenneth
2
Morse, Anthony P.
2
Moschovakis, Yiannis N.
2
Odifreddi, Piergiorgio
2
Paris, J. B.
2
Rosser, J. Barkley
2
Rubin, Herman
2
Rubin, Jean E.
2
Szabo, M. E.
2
Troelstra, A. S.
2
Vesley, Richard Eugene
2
Academia Republicii Socialiste România
1
Ackermann, W.
1
Aczél, J.
1
Adi︠a︡n, S. I.
1
Aĭzerman, M. A.
1
Aḳademyah ha-leʼumit ha-Yiśreʼelit le-madaʻim
1
Andrews, P. B.
1
Arnold, A.
1
Ash, C. J.
1
Basri, Saul A.
1
Bayod, José Manuel
1
Beth, Evert Willem
1
Blackburn, Patrick
1
Bochenski, Joseph M.
1
Boffa, Maurice
1
Boicescu, V.
1
Börger, E.
1
Brady, Geraldine
1
Brouwer, L. E. J.
1
Buekenhout, Francis
1
Buss, Samuel R.
1
Calude, Cristian
1
Cannonito, F. B.
1
Cantini, Andrea
1
Chang, Chen Chung
1
Chong, C.-T.
1
Choquet-Bruhat, Yvonne
1
Chorafas, Dimitris N.
1
Cohen, L. Jonathan
1
Conference on Alternative Semantics (1970, Temple University)
1
Conference on Intuitionism and Proof Theory (1968, State University of New York at Buffalo)
1
Conference on Ordered Sets and Their Applications ( 1982, L'Arbresle, France)
1
Cupillari, Antonella
1
Daróczy, Zoltán
1
DeWitt-Morette, Cécile
1
Dickmann, M. A.
1
Dorn, Georg
1
Dubois, Didier
1
Dummett, Michael
1
Dürr, Karl
1
Dvalishvili, B. P.
1
Ebbinghaus, Heinz-Dieter
1
Einstein Institute of Mathematics
1
Eklof, Paul C.
1
Equipe de logique mathématique (Paris, France)
1
Erdős, Paul
1
Ferro, R.
1
Feys, Robert
1
Frankiewicz, Ryszard
1
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?filter%5B%5D=product_txtF_mv%3A%22Elsevier+eBook+collection+Mathematics%22&lookfor=%28%22logica%22+OR+%22logical%22%29%2A&type=AllFields
Send by Email
×
Loading...