Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: %22Mathematical Logic AND Foundations%22
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
:
22mathematical logic »
mathematical logic
,
mathematics logic
,
mathematical logical
Showing
1
-
10
of
10
Search:
'%22Mathematical Logic AND Foundations%22'
,
query time: 0.48s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Combinatory
logic
by
Curry, Haskell B.
Published 1958
North-Holland
Table of Contents:
“
... of combinators -- Synthetic theory of combinators -- Logistic
foundations
-- Introduction to illative combinatory...
”
Call Number:
QA9.5
Read Now
2
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
3
Logic
Colloquium '88 : proceedings of the Colloquium held in Padova, Italy August 22-31, 1988
by
Ferro, R.
Published 1989
North-Holland
Subjects:
“
...
Logic
, Symbolic and
mathematical
/ fast / (OCoLC)fst01002068...
”
Call Number:
QA9.A1
Read Now
4
Logic
Colloquium 76 : proceedings of a conference held in Oxford in July 1976
by
Gandy, R. O.
Published 1977
North-Holland Pub. Co.
Table of Contents:
“
... The
foundations
of
mathematics
in Poland after World War II; Chapter 5 A tribute to A. Mostowski; PART TWO HISTORY...
”
Call Number:
QA9.A1
Read Now
5
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
Read Now
6
Logic
, methodology and philosophy of science IV...
by
Suppes, Patrick
Published 1973
North-Holland Pub. Co.
Table of Contents:
“
... AND
MATHEMATICS
; Chapter 18 Towards a
Foundation
of General Proof Theory; Chapter 19 In Memoriam to Richard...
”
Call Number:
BC135
Read Now
7
Logic
, methodology, and philosophy of science VI...
by
Cohen, L. Jonathan
Published 1982
North-Holland Pub. Co.
Table of Contents:
“
.... The Case of Sociology; PART 7.
FOUNDATIONS
OF PROBABILITY AND INDUCTION; Chapter 29. Probability...
”
Call Number:
QA9.A1
Read Now
8
Foundational
studies, Volume II : selected works
by
Mostowski, Andrzej
Published 1979
North-Holland Pub. Co.
Table of Contents:
“
... function in many-valued
logics
; Chapter 39. On models of Zermelo-Fraenkel set theory satisfying the axiom...
”
Call Number:
QA9
Read Now
9
The axiom of choice
by
Jech, Thomas J.
Published 1973
North-Holland Pub. Co.
Table of Contents:
“
.... Equivalents of the Axiom of Choice;
2.2
. Some applications of the Axiom of Choice in
mathematics
; 2.3...
”
Call Number:
QA248
Read Now
10
Functional analysis and time optimal control
by
Hermes, Henry
Published 1969
Academic Press
Table of Contents:
“
... I: FUNCTIONAL ANALYSIS; 1.
Logical
Foundations
; 2. Topological Considerations; 3. Ways of Generating...
”
Call Number:
QA402.3
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Elsevier eBook collection Mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
8
160 - Logic
1
629 - Other branches of engineering
1
Language
English
10
Collection
Elsevier eBook collection Mathematics
Author
Academia Republicii Socialiste România
1
Cohen, L. Jonathan
1
Craig, William
1
Curry, Haskell B.
1
Ferro, R.
1
Feys, Robert
1
more ...
Gandy, R. O.
1
Hermes, Henry
1
Hyland, John Martin Elliott
1
International Congress for Logic, Methodology, and Philosophy of Science ( 1971, Bucharest, Romania)
1
International Congress of Logic, Methodology, and Philosophy of Science ( 1979, Hannover, Germany)
1
International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
1
Jech, Thomas J.
1
Kuratowski, Kazimierz
1
LaSalle, Joseph P.
1
Logic Colloquium (1976, Oxford)
1
Logic Colloquium (1977, Wrocław, Poland)
1
Logic Colloquium (1988, Padova, Italy)
1
Logic Symposion (1980, Patra, Greece)
1
Macintyre, Angus
1
Metakides, George
1
Mostowski, Andrzej
1
Pacholski, Leszek
1
Paris, J. B.
1
Suppes, Patrick
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=%2522Mathematical+Logic+AND+Foundations%2522&type=AllFields
Send by Email
×
Loading...