Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: ( logicians OR logiciels )
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"
Showing
1
-
20
of
80
Search:
'( logicians OR logiciels )'
,
query time: 0.08s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
1
Introduction to computational modeling using C and open-source tools
by
Garrido, José M.
Published 2013
CRC/Taylor & Francis
Subjects:
“
...
Logiciels
libres...
”
Call Number:
QA401
Read Now
2
Analysis and design of algorithms for combinatorial problems
by
Ausiello, G.
Published 1985
North-Holland
Subjects:
“
...Mathématiques /
Logiciels
/ Congrès / ram...
”
Call Number:
QA164
Read Now
3
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
4
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
5
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
6
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
7
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
8
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
9
Philosophical Logic in Poland
Published 1994
Springer Netherlands
“
...
logicians
, like Lesniewski, Lukasiewicz and Tarski, produced several works related to philosophical logic, a...
”
Read Now
10
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
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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
19
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
20
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
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
510 - Mathematics
1
Language
English
80
Collection
Cambridge Books Online
36
Springer eBooks 2005-
21
Springer Book Archives -2004
10
Elsevier eBook collection Mathematics
7
MIT Press eBook Archive
2
Oxford University Press
2
more ...
DeGruyter MPG Collection
1
O'Reilly
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
Ausiello, G.
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
Garrido, José M.
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
Istituto di analisi dei sistemi ed informatica (Italy)
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
Lucertini, M.
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
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++logiciels+%29&type=AllFields
Send by Email
×
Loading...