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"
Search alternatives
:
logician »
logicians
,
logical
,
logiciel
Showing
1
-
20
of
78
Search:
'logician'
,
query time: 0.03s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Introduction to Mathematical Logic (PMS-13)
by
Church, Alonzo
Published 2016
Princeton University Press
“
...Logic is sometimes called the foundation of mathematics: the
logician
studies the kinds...
”
Read Now
2
Mathematical logic and computation
by
Avigad, Jeremy
Published 2023
Cambridge University Press
“
... reference for any practicing
logician
's bookshelf...
”
Call Number:
QA9
Read Now
3
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
4
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
5
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
6
Universal Logic, Ethics, and Truth : Essays in Honor of John Corcoran (1937-2021)
Published 2024
Birkhäuser
“
...John Corcoran was a very well-known
logician
who worked on several areas of logic. He produced...
”
Read Now
7
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Published 2007
Springer New York
Table of Contents:
“
... (Foundation of Spacetime), Intriguing Features of GR Spacetimes (Challenges for the
Logician
), A FOL Axiom...
”
Read Now
8
Gentzen's Centenary : The Quest for Consistency
Published 2015
Springer International Publishing
“
...Gerhard Gentzen has been described as logic’s lost genius, whom Gödel called a better
logician
than...
”
Read Now
9
Arabic Logic from al-Fārābī to Averroes : A Study of the Early Arabic Categorical, Modal, and Hypothetical Syllogistics
by
Chatti, Saloua
Published 2019
Birkhäuser
“
...This monograph explores the logical systems of early
logicians
in the Arabic tradition from a...
”
Read Now
10
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
11
Philosophical Logic in Poland
Published 1994
Springer Netherlands
“
...
logicians
, like Lesniewski, Lukasiewicz and Tarski, produced several works related to philosophical logic, a...
”
Read Now
12
Logic and information flow
by
Eijck, J. van
Published 1994
MIT Press
“
..."The thirteen chapters written expressly for this book by
logicians
, theoretical computer...
”
Call Number:
QA76
Read Now
13
The structure of models of Peano arithmetic
by
Kossak, Roman
Published 2006
Clarendon
“
...Aimed at graduate students, research
logicians
and mathematicians, this text covers over 40 years...
”
Call Number:
QA9
Read Now
14
Tracking reason : proof, consequence, and truth
by
Azzouni, Jody
Published 2006
Oxford University Press
“
... notion of consequence and the formal analogues invented by
logicians
...
”
Call Number:
QA9.54
Read Now
15
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
by
Murawski, Roman
Published 2014
Birkhäuser
“
... and logic as formulated by Polish
logicians
, mathematicians and philosophers in the 1920s and 1930...
”
Read Now
16
Mathematical Problems from Applied Logic I : Logics for the XXIst Century
Published 2006
Springer New York
“
...,
logicians
. Important topics of logic are discussed from the point of view of their further development...
”
Read Now
17
Categorical logic and type theory
by
Jacobs, Bart
Published 1999
Elsevier Science
“
... of
logicians
, type theorists, category theorists and (theoretical) computer scientists...
”
Call Number:
QA9
Read Now
18
Descriptive set theory
by
Moschovakis, Yiannis N.
Published 1980
North-Holland
“
... by
logicians
...
”
Call Number:
QA248
Read Now
19
Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987
Published 1989
Springer Berlin Heidelberg
“
... by
logicians
from other countries, who visited Japan in the summer of 1987...
”
Read Now
20
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
1
2
3
4
Back
Narrow Search
Remove Filters
Clear Filter
Classification: 511 - General principles of mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
160 - Logic
1
Language
English
78
Collection
Cambridge Books Online
36
Springer eBooks 2005-
21
Springer Book Archives -2004
10
Elsevier eBook collection Mathematics
6
MIT Press eBook Archive
2
Oxford University Press
2
more ...
DeGruyter MPG Collection
1
see all ...
less ...
Author
Gabbay, Dov M.
3
Kahle, Reinhard
3
Moschovakis, Yiannis N.
3
Baldwin, John T.
2
Barwise, Jon
2
Buchsbaum, Arthur
2
more ...
Béziau, Jean-Yves
2
Ferreira, Fernando
2
Koslow, Arnold
2
Sommaruga, Giovanni
2
Steel, J. R.
2
Zakharyaschev, Michael
2
Abeles, Francine F.
1
Abramsky, Samson
1
Arai, Toshiyasu
1
Association for Symbolic Logic
1
Avigad, Jeremy
1
Azzouni, Jody
1
Belohlávek, Radim
1
Beziau, Jean-Yves
1
Buechler, Steven
1
Buss, Samuel R.
1
Chatti, Saloua
1
Church, Alonzo
1
Cooper, S. B.
1
Copeland, B. Jack
1
Dales, H. G.
1
Dalla Chiara, Maria Luisa
1
Delon, F.
1
Desclés, Jean-Pierre
1
Devlin, Keith J.
1
Ehrhard, Thomas
1
Eijck, J. van
1
Feferman, Solomon
1
Fenstad, Jens E.
1
Flach, P.A.
1
Font, Josep Maria
1
Fuller, Mark E.
1
Gabbay, Dov
1
Galatos, Nikolaos
1
Gauthier, Y.
1
Gauthier, Yvon
1
Giuntini, Roberto
1
Goldblatt, Robert
1
Goncharov, Sergei
1
Greechie, Richard
1
Gödel '96 (1996, Brno, Czech Republic)
1
Hadjiantonis, Antonis
1
Hinman, Peter G.
1
Hintikka, Jaakko
1
Hodges, Wilfrid
1
Hájek, Petr
1
Jacobs, Bart
1
Jansana, Ramón
1
Jäger, Gerhard
1
Kamareddine, F.D.
1
Kechris, A. S.
1
Kikuchi, Makoto
1
Kontinen, Juha
1
Kossak, Roman
1
Kuroda, Satoru
1
Laan, T.
1
Larrazabal, Jesús M.
1
Lascar, D.
1
Lerman, M.
1
Lindström, Per
1
Lindström, Sten
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
Madigan, Timothy J.
1
Makowsky, Johann A.
1
Miller, Arnold W.
1
Mint͡s, G. E.
1
Mitchell, William J.
1
Moktefi, Amirouche
1
Montagna, Franco
1
Murawski, Roman
1
Nederpelt, Rob
1
Negri, Sara
1
Nesetril, Jaroslav
1
Oikkonen, J.
1
Okada, Mitsuhiro
1
Otto, Martin
1
Palmgren, Erik
1
Pascu, Anca Christine
1
Posy, Carl J.
1
Pour-El, Marian B.
1
Prest, Mike
1
Rathjen, Michael
1
Rautenberg, Wolfgang
1
Ravve, Elena V.
1
Richards, J. Ian
1
Rödl, Vojtech
1
Sacks, Gerald E.
1
Sagi, Gil
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&lookfor=logician&type=AllFields
Send by Email
×
Loading...