Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "mathematical logic"
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:"Cambridge Books Online"
Search alternatives
:
"mathematical logic" »
"mathematics logic"
Showing
1
-
20
of
39
Search:
'"mathematical logic"'
,
query time: 0.12s
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
“
...This new book on
mathematical
logic
by Jeremy Avigad gives a thorough introduction...
”
Call Number:
QA9
Read Now
2
Mathematical
logic
through Python
by
Gonczarowski, Yannai A.
,
Nisan, Noam
Published 2022
Cambridge University Press
“
...Using a unique pedagogical approach, this text introduces
mathematical
logic
by guiding students...
”
Call Number:
QA9
Read Now
3
Lectures in logic and set theory, Volume 1:
Mathematical
logic
by
Tourlakis, George J.
Published 2003
Cambridge University Press
Call Number:
QA9.2
Read Now
4
Degrees of unsolvability : local and global theory
by
Lerman, M.
Published 2016
Cambridge University Press
Subjects:
“
...Unsolvability (
Mathematical
logic
)...
”
Call Number:
QA9.63
Read Now
5
An introduction to non-classical logic : from if to is
by
Priest, Graham
Published 2008
Cambridge University Press
Subjects:
“
...Nonclassical
mathematical
logic
...
”
Call Number:
QA9.4
Read Now
6
Admissible sets and structures : an approach to definability theory
by
Barwise, Jon
Published 2016
Cambridge University Press
Subjects:
“
...Definability theory (
Mathematical
logic
)...
”
Call Number:
QA9
Read Now
7
Set theory, arithmetic, and foundations of mathematics : theorems, philosophies
Published 2011
Cambridge University Press
“
...This collection of papers from various areas of
mathematical
logic
showcases the remarkable breadth...
”
Call Number:
QA248
Read Now
8
Why does math work ... if it's not real? : episodes in unreasonable effectiveness
by
Radulović, Dragan
Published 2023
Cambridge University Press
Table of Contents:
“
... we learned? -- On computer games -- On
mathematical
logic
-- On postulates and axioms -- Introducing...
”
Call Number:
QA36
Read Now
9
A course in model theory
by
Tent, Katrin
,
Ziegler, Martin
Published 2012
Cambridge University Press
“
... the classic results, as well as more recent developments in this vibrant area of
mathematical
logic
. Concrete...
”
Call Number:
QA9.7
Read Now
10
Models and computability : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Published 1999
Cambridge University Press
“
... with a comprehensive guide to the current state of
mathematical
logic
. All the authors are leaders...
”
Call Number:
QA9.A1
Read Now
11
The logic of entailment and its history
by
Mares, Edwin David
Published 2024
Cambridge University Press
“
... half of the book he develops his own theory connecting ideas from the traditions in
mathematical
logic
...
”
Call Number:
BC199.E58
Read Now
12
Justification logic : reasoning with reasons
by
Artemov, S. N.
,
Fitting, Melvin
Published 2019
Cambridge University Press
“
... wide variety of areas to which the theory applies. These include
mathematical
logic
, artificial...
”
Call Number:
QA9
Read Now
13
Foundations of probabilistic programming
Published 2021
Cambridge University Press
“
... and
mathematical
logic
, security (what is the probability that software leaks confidential information...
”
Call Number:
QA76.6
Read Now
14
Computable structure theory : within the arithmetic
by
Montalbán, Antonio
Published 2021
Cambridge University Press
“
.... Aimed at graduate students and researchers in
mathematical
logic
, it brings new results of the author...
”
Call Number:
QA9.59
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
“
... in
mathematical
logic
and set theory is assumed, the material is based on a graduate course given by the author...
”
Call Number:
QA248
Read Now
16
Logic Colloquium 2006
Published 2009
Cambridge University Press
“
... in an overview of central contemporary themes in
mathematical
logic
...
”
Call Number:
QA9.A1
Read Now
17
Logic Colloquium '96
Published 2016
Cambridge University Press
“
... eleven papers from pre-eminent researchers in
mathematical
logic
...
”
Call Number:
QA9.A1
Read Now
18
Logic Colloquium '90 : ASL summer meeting in Helsinki
Published 2016
Cambridge University Press
“
..., in July 1990. It contains eighteen papers by leading researchers, covering all fields of
mathematical
...
”
Call Number:
QA9.A1
Read Now
19
Metamathematics of first-order arithmetic
by
Hájek, Petr
,
Pudlák, Pavel
Published 2016
Cambridge University Press
“
... is only assumed to know the basics of
mathematical
logic
, which are reviewed in the preliminaries. Part I...
”
Call Number:
QA248
Read Now
20
Lectures on infinitary model theory
by
Marker, D.
Published 2016
Cambridge University Press
“
... to the subject in forty years, and will bring students and researchers in all areas of
mathematical
logic
up...
”
Call Number:
QA9.37
1
2
Back
Narrow Search
Remove Filters
Clear Filter
Collection: Cambridge Books Online
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
24
510 - Mathematics
4
193 - Philosophy of Germany & Austria
2
001 - Knowledge
1
005 - Computer programming, programs & data
1
006 - Special computer methods
1
more ...
160 - Logic
1
161 - Induction
1
171 - Ethical systems
1
508 - Natural history
1
512 - Algebra
1
513 - Arithmetic
1
see all ...
less ...
Language
English
39
Collection
Cambridge Books Online
Author
Association for Symbolic Logic
4
Cooper, S. B.
3
Logic Colloquium (1997, Leeds, England)
2
Smith, Peter
2
Truss, J. K.
2
Wainer, S. S.
2
more ...
Artemov, S. N.
1
Avigad, Jeremy
1
Baaz, Matthias
1
Barthe, Gilles
1
Barwise, Jon
1
Burgess, John P.
1
Clifford, A. H.
1
Delon, F.
1
Drake, F. R.
1
Esparza, Javier
1
Fitting, Melvin
1
Freudenthal, Gad
1
Gonczarowski, Yannai A.
1
Harrison, J.
1
Hofmann, Karl Heinrich
1
Hájek, Petr
1
Jacquette, Dale
1
Katoen, Joost-Pieter
1
Kennedy, Juliette
1
Kossak, Roman
1
Krajíček, Jan
1
Larrazabal, Jesús M.
1
Lascar, D.
1
Lerman, M.
1
Linsky, Bernard
1
Logic Colloquium (1979, Leeds, Yorkshire)
1
Logic Colloquium (1990, Helsinki, Finland)
1
Logic Colloquium (1996, San Sebastián, Spain)
1
Logic Colloquium (2006, Nijmegen, Netherlands)
1
Logic Colloquium (2007, Wrocław, Poland)
1
Mares, Edwin David
1
Marker, D.
1
Mathias, A. R. D.
1
Michaux, Christian
1
Miller, Arnold W.
1
Mint͡s, G. E.
1
Mislove, Michael W.
1
Montalbán, Antonio
1
Nisan, Noam
1
Oikkonen, J.
1
Paris, J. B.
1
Priest, Graham
1
Pudlák, Pavel
1
Radulović, Dragan
1
Richards, Robert J.
1
Roubach, Michael
1
Ruse, Michael
1
Schwichtenberg, Helmut
1
Silva, Alexandra
1
Steinhorn, Charles
1
Tent, Katrin
1
Tourlakis, George J.
1
Vencovská, Alena
1
Väänänen, J.
1
Ziegler, Martin
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%22Cambridge+Books+Online%22&lookfor=%22mathematical+logic%22&type=AllFields
Send by Email
×
Loading...