Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ( logicians or logical )
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
:
logicians »
logiciels
Showing
1
-
20
of
76
Search:
'( logicians or logical )'
,
query time: 0.13s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Internal
Logic
: Foundations of Mathematics from Kronecker to Hilbert
by
Gauthier, Y.
Published 2002
Springer Netherlands
Table of Contents:
“
... to Brouwer -- 6. Hilbert and the Foundations of Physics -- 7. Conclusion. Internal
logic
: From Kronecker...
”
Read Now
2
Dependence
Logic
: Theory and Applications
Published 2016
Birkhäuser
Table of Contents:
“
...Introduction -- Durand, Kontinen, Vollmer, Expressivity and Complexity of Dependence
Logic
...
”
Read Now
3
Logic
in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
Published 2022
Birkhäuser
Table of Contents:
“
... question on the next ‘unbloody’ revolution in
logic
--
Logic
and analogy -- A Carnapian
logic
...
”
Read Now
4
Logic
and information flow
by
Eijck, J. van
Published 1994
MIT Press
Subjects:
“
...
Logic
, Symbolic and mathematical...
”
Call Number:
QA76
Read Now
5
Philosophical
Logic
in Poland
Published 1994
Springer Netherlands
Table of Contents:
“
...Morals of Thought and Speech — Reminiscences -- What Has
Logic
Given to Philosophy? -- Classical...
”
Read Now
6
Model-theoretic
logics
Published 2016
Cambridge University Press
“
...Perspectives in
logic
...
”
Call Number:
QA9.7
Read Now
7
Logic
Colloquium '96
Published 2016
Cambridge University Press
Subjects:
“
...
Logic
, Symbolic and mathematical / Congresses...
”
Call Number:
QA9.A1
Read Now
8
Logic
Colloquium '90 : ASL summer meeting in Helsinki
Published 2016
Cambridge University Press
Subjects:
“
...
Logic
, Symbolic and mathematical / Congresses...
”
Call Number:
QA9.A1
Read Now
9
Logic
Colloquium 2006
Published 2009
Cambridge University Press
Subjects:
“
...
Logic
, Symbolic and mathematical / Congresses...
”
Call Number:
QA9.A1
Read Now
10
Logic
Colloquium '95 : proceedings of the Annual European Summer Meeting of the Association of Symbolic Logic, Haifa, Israel, August 9-18, 1995
Published 2016
Cambridge University Press
Subjects:
“
...
Logic
, Symbolic and mathematical / Congresses...
”
Call Number:
QA9.A1
Read Now
11
Mathematical
Logic
and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987
Published 1989
Springer Berlin Heidelberg
Table of Contents:
“
... theory -- Syntactical simulation of many-valued
logic
-- Consistency of Beeson's formal system RPS...
”
Read Now
12
Towards an Arithmetical
Logic
: The Arithmetical Foundations of Logic
by
Gauthier, Yvon
Published 2015
Birkhäuser
Table of Contents:
“
... of
Logic
-- 4.Kronecker's Foundational Programme in Contemporary Mathematics -- 5.Arithmetical Foundations...
”
Read Now
13
Logic
Colloquium 2007
Published 2010
Cambridge University Press
Subjects:
“
...
Logic
, Symbolic and mathematical / Congresses...
”
Call Number:
QA9.A1
Read Now
14
The semantic conception of
logic
: essays on consequence, invariance, and meaning
Published 2021
Cambridge University Press
Table of Contents:
“
...Introduction: The semantic conception of
logic
: problems and prospects / Gil Sagi and Jack Woods...
”
Call Number:
QA9.7
Read Now
15
Logicism
, Intuitionism, and Formalism : What Has Become of Them?
Published 2009
Springer Netherlands
Table of Contents:
“
... --
Logicism
and Neo-
Logicism
-- Protocol Sentences for Lite
Logicism
-- Frege’s Context Principle...
”
Read Now
16
The Road to Universal
Logic
: Festschrift for 50th Birthday of Jean-Yves Béziau Volume I
Published 2015
Birkhäuser
Table of Contents:
“
... categories of
logics
by Peter Arndt -- Semi‐implication: A Chapter in Universal
Logic
by Arnon Avron -- A...
”
Read Now
17
Advances in Mathematical
Logic
: Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions
Published 2021
Springer Nature Singapore
Table of Contents:
“
..., Interpolation properties for Sacchetti’s
logics
-- T. Kurahashi, Rosser provability and the second...
”
Read Now
18
The Road to Universal
Logic
: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II
Published 2015
Birkhäuser
Table of Contents:
“
...22. Sergei Odintsov: Belnap constants and Nelson
logic
-- 23. Hitoshi Omori and Toshiharu Waragai...
”
Read Now
19
Mathematical
logic
and computation
by
Avigad, Jeremy
Published 2023
Cambridge University Press
Subjects:
“
...
Logic
, Symbolic and mathematical...
”
Call Number:
QA9
Read Now
20
Gödel '96 : logical foundations of mathematics, computer science, and physics--Kurt Gödel's legacy
Published 2016
Cambridge University Press
Subjects:
“
...
Logic
, Symbolic and mathematical / Congresses...
”
Call Number:
QA9.A1
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
76
Collection
Cambridge Books Online
34
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
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
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
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
Schmerl, J. H.
1
Segerberg, Krister
1
Shagrir, Oron
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=%28+logicians++or++logical+%29&type=AllFields
Send by Email
×
Loading...