Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "logician"
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:"511 - General principles of mathematics"
product_txtF_mv:"Cambridge Books Online"
Search alternatives
:
"logician" »
"logicians"
,
"logical"
,
"logiciel"
Showing
1
-
20
of
36
Search:
'"logician"'
,
query time: 0.02s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Mathematical logic and computation
by
Avigad, Jeremy
Published 2023
Cambridge University Press
“
... reference for any practicing
logician
's bookshelf...
”
Call Number:
QA9
Read Now
2
Admissible sets and structures : an approach to definability theory
by
Barwise, Jon
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9
Read Now
3
A guide to NIP theories
by
Simon, Pierre
Published 2015
Cambridge University Press
“
.... The relevant material from other fields of mathematics is made accessible to the
logician
...
”
Call Number:
QA9.7
Read Now
4
Linear logic in computer science
Published 2004
Cambridge University Press
Table of Contents:
“
...Category theory for linear
logicians
/ R. Blute and Ph. Scott -- Proof nets and the [lambda...
”
Call Number:
QA9.54
Read Now
5
Computability in analysis and physics
by
Pour-El, Marian B.
,
Richards, J. Ian
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.59
Read Now
6
An introduction to independence for analysts
by
Dales, H. G.
,
Woodin, W. H.
Published 1987
Cambridge University Press
“
...-
logicians
, the technique of forcing and its connection with independence, and gives a full proof that a...
”
Call Number:
QA9.7
Read Now
7
Higher recursion theory
by
Sacks, Gerald E.
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.6
Read Now
8
Model theory and the philosophy of mathematical practice : formalization without foundationalism
by
Baldwin, John T.
Published 2018
Cambridge University Press
“
..., combinatorics, and differential equations. This comprehensive and detailed book will interest
logicians
...
”
Call Number:
QA9.7
Read Now
9
Model theory
by
Hodges, Wilfrid
Published 1993
Cambridge University Press
“
...
logicians
and mathematicians. Model theory is concerned with the notions of definition, interpretation...
”
Call Number:
QA9.7
Read Now
10
Aspects of Incompleteness
by
Lindström, Per
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.65
Read Now
11
Recursion theory
by
Shoenfield, Joseph R.
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.6
Read Now
12
Recursion-theoretic hierarchies
by
Hinman, Peter G.
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.62
Read Now
13
Bounded variable logics and counting : a study in finite models
by
Otto, Martin
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.7
Read Now
14
General recursion theory : an axiomatic approach
by
Fenstad, Jens E.
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.6
Read Now
15
Descriptive set theory and forcing : how to prove theorems about Borel sets the hard way
by
Miller, Arnold W.
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA248
Read Now
16
Essential stability theory
by
Buechler, Steven
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.7
Read Now
17
Model-theoretic logics
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.7
Read Now
18
Proper and improper forcing
by
Shelah, Saharon
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.7
Read Now
19
Logic Colloquium '96
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.A1
Read Now
20
Logic Colloquium '90 : ASL summer meeting in Helsinki
Published 2016
Cambridge University Press
“
... seminal works by leading
logicians
. Many of the original books in the series have been unavailable...
”
Call Number:
QA9.A1
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Clear Filter
Collection: Cambridge Books Online
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
Language
English
36
Collection
Cambridge Books Online
Author
Baldwin, John T.
2
Barwise, Jon
2
Steel, J. R.
2
Association for Symbolic Logic
1
Avigad, Jeremy
1
Buechler, Steven
1
more ...
Cooper, S. B.
1
Dales, H. G.
1
Delon, F.
1
Devlin, Keith J.
1
Ehrhard, Thomas
1
Feferman, Solomon
1
Fenstad, Jens E.
1
Font, Josep Maria
1
Goldblatt, Robert
1
Gödel '96 (1996, Brno, Czech Republic)
1
Hinman, Peter G.
1
Hodges, Wilfrid
1
Hájek, Petr
1
Jansana, Ramón
1
Kechris, A. S.
1
Larrazabal, Jesús M.
1
Lascar, D.
1
Lerman, M.
1
Lindström, Per
1
Logic Colloquium (1990, Helsinki, Finland)
1
Logic Colloquium (1995, Haifa, Israel)
1
Logic Colloquium (1996, San Sebastián, Spain)
1
Logic Colloquium (2006, Nijmegen, Netherlands)
1
Logic Colloquium (2007, Wrocław, Poland)
1
London Mathematical Society
1
Louveau, Alain
1
Makowsky, Johann A.
1
Miller, Arnold W.
1
Mint͡s, G. E.
1
Mitchell, William J.
1
Moschovakis, Yiannis N.
1
Negri, Sara
1
Oikkonen, J.
1
Otto, Martin
1
Pour-El, Marian B.
1
Prest, Mike
1
Ravve, Elena V.
1
Richards, J. Ian
1
Sacks, Gerald E.
1
Sagi, Gil
1
Shelah, Saharon
1
Shoenfield, Joseph R.
1
Simon, Pierre
1
Von Plato, Jan
1
Väänänen, J.
1
Woodin, W. H.
1
Woods, Jack
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%22511+-+General+principles+of+mathematics%22&filter%5B%5D=product_txtF_mv%3A%22Cambridge+Books+Online%22&lookfor=%22logician%22&type=AllFields
Send by Email
×
Loading...