Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: "naturalized"
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
language:"English"
dewey-ones:"511 - General principles of mathematics"
Showing
81
-
100
of
233
Search:
'"naturalized"'
,
query time: 0.04s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
81
Computability and randomness
by
Nies, Andrâe
Published 2009
Oxford University Press
“
...A monograph on the computational complexity and randomness of sets of
natural
numbers...
”
Call Number:
QA267.7
Read Now
82
Looking at Numbers
by
Johnson, Tom
,
Jedrzejewski, Franck
Published 2014
Birkhäuser
“
...Galileo Galilei said he was “reading the book of
nature
” as he observed pendulums swinging, but he...
”
Read Now
83
Aspects of Molecular Computing : Essays Dedicated to Tom Head on the Occasion of His 70th Birthday
Published 2004
Springer Berlin Heidelberg
“
...Molecular computing is a rapidly growing subarea of
natural
computing. On the one hand, molecular...
”
Read Now
84
Logicism and its philosophical legacy
by
Demopoulos, William
Published 2013
Cambridge University Press
“
... - and in doing so illuminate current concerns about the
nature
of mathematical and theoretical knowledge. Issues...
”
Call Number:
QA9
Read Now
85
Logic and Structure
by
Dalen, Dirk van
Published 1983
Springer Berlin Heidelberg
“
... popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s
Natural
...
”
Read Now
86
Logic and Structure
by
Dalen, Dirk van
Published 1980
Springer Berlin Heidelberg
“
... popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s
Natural
...
”
Read Now
87
Logic and Structure
by
van Dalen, Dirk
Published 2004
Springer Berlin Heidelberg
“
... popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s
Natural
...
”
Read Now
88
Logic and Structure
by
Dalen, Dirk van
Published 1994
Springer Berlin Heidelberg
“
... popular textbook contains a complete treatment of elementary classical logic, using Gentzen’s
Natural
...
”
Read Now
89
Interpolation and definability : modal and intuitionistic logic
by
Gabbay, Dov M.
Published 2005
Oxford University Press
“
..., artificial intelligence, logic programming philosophy of science, and
natural
language...
”
Call Number:
QA9.46
Read Now
90
Foundational Theories of Classical and Constructive Mathematics
Published 2011
Springer Netherlands
“
... of classical mathematics of a different
nature
compared to those of constructive mathematics? Do they play...
”
Read Now
91
Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
by
Paris, J. B.
Published 1986
North-Holland
“
... topics treated are the model theory of arithmetic and algebra, the semantics of
natural
languages...
”
Call Number:
BC135
Read Now
92
Categories, allegories
by
Freyd, Peter J.
Published 1990
North-Holland
“
..., emphasizing the geometric
nature
of the subject and explaining its connections to mathematical logic. The book...
”
Call Number:
QA169
Read Now
93
A Mathematical Structure for Emergent Computation
by
Korotkikh, Victor
Published 1999
Springer US
“
.... A noticeable attempt of such a rethinking is a world view in which
natural
systems are seen...
”
Read Now
94
Logic in Question : Talks from the Annual Sorbonne Logic Workshop (2011- 2019)
Published 2022
Birkhäuser
“
... to the
nature
of logic and how it has developed over the years. As a result, chapter authors provide a thorough...
”
Read Now
95
An introduction to independence for analysts
by
Dales, H. G.
,
Woodin, W. H.
Published 1987
Cambridge University Press
“
...
naturally
arising and deep question of analysis is independent of ZFC. It provides an accessible account...
”
Call Number:
QA9.7
Read Now
96
The Valuative Tree
by
Favre, Charles
,
Jonsson, Mattias
Published 2004
Springer Berlin Heidelberg
“
... on the valuative tree. The construction of these measures uses a
natural
tree Laplace operator of independent...
”
Read Now
97
Logic, Rationality, and Interaction : 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings
Published 2019
Springer Berlin Heidelberg
“
...; belief representation; cooperation; decision making and planning;
natural
language; philosophy...
”
Read Now
98
Computability, enumerability, unsolvability : directions in recursion theory
Published 1996
Cambridge University Press
“
...The fundamental ideas concerning computation and recursion
naturally
find their place...
”
Call Number:
QA9.6
Read Now
99
Combinatorics of Train Tracks. (AM-125)
by
Penner, R. C.
Published 2016
Princeton University Press
“
...Measured geodesic laminations are a
natural
generalization of simple closed curves in surfaces...
”
Read Now
100
Logic as a tool : a guide to formal logical reasoning
by
Goranko, Valentin
Published 2016
Wiley
“
... and teaches the reader how grasp the meaning and translate them to and from
natural
language. It illustrates...
”
Call Number:
BC71
1
2
3
4
5
6
7
8
9
10
11
Back
Narrow Search
Remove Filters
Clear Filter
Language: English
Clear Filter
Classification: 511 - General principles of mathematics
Year of Publication
From:
To:
Classification
511 - General principles of mathematics
510 - Mathematics
5
519 - Probabilities & applied mathematics
2
001 - Knowledge
1
500 - Natural sciences & mathematics
1
658 - General management
1
Language
English
Collection
Springer Book Archives -2004
96
Springer eBooks 2005-
83
Cambridge Books Online
23
Elsevier eBook collection Mathematics
15
O'Reilly
6
DeGruyter MPG Collection
4
more ...
MIT Press eBook Archive
3
Oxford University Press
3
see all ...
less ...
Author
Gonçalves, Bruno
4
Zimmermann, Hans-Jürgen
4
Beziau, Jean-Yves
3
Dalen, Dirk van
3
Gabbay, Dov M.
3
Akram, Muhammad
2
more ...
Barbosa, Hugo
2
Buchsbaum, Arthur
2
Greenberg, Noam
2
Gros, Claudius
2
Herzberg, Frederik S.
2
Koslow, Arnold
2
Melczer, Stephen
2
Menezes, Ronaldo
2
Moschovakis, Yiannis
2
Mundici, Daniele
2
Novák, Vilém
2
Odifreddi, Piergiorgio
2
Sanchis, Luis E.
2
Sinatra, Roberta
2
Wainer, S. S.
2
van Dalen, Dirk
2
Abbas, Mujahid
1
Abeles, Francine F.
1
Adamson, Iain
1
Aerts, Diederik
1
Agazzi, E.
1
Albeverio, Sergio
1
Almeida, Jorge
1
Andrews, Peter B.
1
Andréka, Hajnal
1
Apostolico, Alberto
1
Arai, Toshiyasu
1
Arthanari, Tirukkattuppalli Subramanyam
1
Ash, C. J.
1
Association for Symbolic Logic
1
Ausiello, G.
1
Bagaria, Joan
1
Barrasa, Jesús
1
Barringer, Howard
1
Barzel, Baruch
1
Battiston, Stefano
1
Beck, Matthias
1
Bede, Barnabás
1
Belinsky, Eduard S.
1
Bell, J. L.
1
Belohlávek, Radim
1
Berge, Claude
1
Bernays, Paul
1
Bibel, Wolfgang
1
Billington, E. J.
1
Bimbó, Katalin
1
Björner, Anders
1
Blackburn, Patrick
1
Bojanov, Borislav D.
1
Bollobas, Bela
1
Bordalo, Gabriela
1
Botta, Federico
1
Bourbaki, N.
1
British Combinatorial Conference ( 2005, University of Durham)
1
British Combinatorial Conference ( 2007, Reading, England)
1
British Combinatorial Conference ( 2009, University of St. Andrews)
1
British Combinatorial Conference ( 2011, University of Exeter)
1
Brouwer, Andries E.
1
Bruin, Marcel G. de
1
Bryant, V.
1
Bulloff, Jack John
1
Béziau, Jean-Yves
1
Böhlen, Boris
1
Böhm, C.
1
Caldarelli, Guido
1
Calude, Cristian S.
1
Camina, Alan
1
Cantone, Domenico
1
Carnielli, Walter
1
Cerný, Martin
1
Chapman, Robin
1
Cheng, Yong
1
Cioabă, Sebastian M.
1
Cohen, Arjeh M.
1
Cohen, L. Jonathan
1
Colbourn, Charles J.
1
Coniglio, Marcelo
1
Cooper, Barry S.
1
Cooper, S. B.
1
Cornelius, Sean
1
Cornelius, Sean P.
1
Coroianu, Lucian
1
Coronges, Kate
1
Crapo, H.
1
Cross, Valerie V.
1
Curien, Nicolas
1
Dalen, D. van
1
Dales, H. G.
1
Darvas, György
1
Das, Ajoy Kanti
1
Dasgupta, Abhijit
1
De Pellegrini, Francesco
1
De Queiroz, R.J.
1
Demopoulos, William
1
see all ...
less ...
Recently Uploaded
Last Month
1
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=5&filter%5B%5D=language%3A%22English%22&filter%5B%5D=dewey-ones%3A%22511+-+General+principles+of+mathematics%22&lookfor=%22naturalized%22&type=AllFields
Send by Email
×
Loading...