Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ( (logiciel OR logical) or logicals )
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
:
logiciel »
logiciels
logicals »
logicas
,
logiciels
,
logically
Showing
1
-
20
of
199
Search:
'( (logiciel OR logical) or logicals )'
,
query time: 0.18s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
The
logical
systems of Lesniewski
by
Luschei, Eugene C.
Published 1962
North-Holland Pub. Co.
Table of Contents:
“
... of
logic
and foundations of mathematics -- Terminological explanations and directives -- Principles...
”
Call Number:
B4691.L44
Read Now
2
Philosophy of
logic
by
Jacquette, Dale
Published 2006
Elsevier/North Holland
Table of Contents:
“
... -- Introduction: Philosophy of
Logic
Today (Dale Jacquette) -- What is
Logic
? (Jaakko Hintikka and Gabriel Sandu...
”
Call Number:
BC71
Read Now
3
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
4
Mathematical
logic
by
Turing, Alan
Published 2001
Elsevier Science
Table of Contents:
“
... -- Part I: Computability and Ordinal
Logics
-- Chapter 1. Historical Introduction (Solomon Feferman...
”
Call Number:
QA9.2
Read Now
5
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
6
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
7
Handbook of the history of
logic
, Volume 2: Mediaeval and renaissance
logic
by
Gabbay, Dov M.
Published 2008
North Holland
Table of Contents:
“
...1. "
Logic
before 1100: The Latin Tradition" by John Marenbon -- 2. "Beginning of Scholastic
Logic
...
”
Call Number:
BC34
Read Now
8
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
9
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
10
An essay in modal
logic
by
Wright, G. H. von
Published 1951
Elsevier Science
Table of Contents:
“
...Truth-
logic
and modal
logic
-- Some elements of truth-
logic
: quantification -- Alethic modalities...
”
Call Number:
BC199.M6
Read Now
11
Many-values
logics
by
Rosser, J. Barkley
Published 1951
Elsevier Science
Table of Contents:
“
... of quantification for many-valued
logics
-- Axiomatization of many-valued predicate calculi -- Quantification...
”
Call Number:
QA9.45
Read Now
12
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
13
Elements of mathematical
logic
: (Model theory)
by
Kreisel, Georg
,
Krivine, J. L.
Published 1967
North Holland Pub. Co.
Subjects:
“
...
Logic
, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
QA9
Read Now
14
Ancient formal
logic
by
Bochenski, Joseph M.
Published 1951
North-Holland Pub. Co.
Subjects:
“
...
Logic
...
”
Call Number:
BC28
Read Now
15
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
16
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
17
Logic
, automata, and algorithms
by
Aĭzerman, M. A.
Published 1971
Academic Press
Table of Contents:
“
...Elements of mathematical
logic
-- Engineering applications of propositional calculus -- Finite...
”
Call Number:
QA267.5.S4
Read Now
18
Logic
colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985
Published 1987
North-Holland
Subjects:
“
...
Logic
, Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115...
”
Call Number:
BC135
Read Now
19
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
20
Logic
Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977
by
Macintyre, Angus
Published 1978
North Holland Pub. Co.
Table of Contents:
“
...Front Cover;
Logic
Colloquium''77; Copyright Page; Contents; Preface; Chapter 1. The elementary...
”
Call Number:
QA9.A1
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+%28logiciel+OR+logical%29++or++logicals+%29&type=AllFields
Send by Email
×
Loading...