Web ИРБИС

Базы данных

- результаты поиска

Вид поиска

Российский сводный каталог по научно-технической литературе

Область поиска

в найденном

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>S=Mathematical logic and foundations<.>)

Общее количество найденных документов : 22
Показаны документы с 1 по 20

1-20 21-22

    Additive number theory [Electronic resource] : festschrift In honor of the sixtieth birthday of melvyn B. Nathanson / eds.: D. Chudnovsky, G. Chudnovsky. - 1. - Electronic text data. - New York, NY : Springer Science+Business Media LLC, 2010. - ISBN 978-0-387-68361-4 : Б. ц.

Рубрики: Mathematics
   Algebra
   Logic, symbolic and mathematical
   Number theory
   Mathematics
   Number theory
   Algebra
   Mathematical logic and foundations

См. : Текст издания

Доп.точки доступа:
Chudnovsky, D. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Mundici, D.
    Advanced łukasiewicz calculus and mv-algebras [Electronic resource] / D. Mundici. - Electronic text data. - Dordrecht : Springer Science+Business Media B.V., 2011. - (Trends in logic ; 35). - ISBN 978-94-007-0840-2 : Б. ц.

Рубрики: Mathematics
   Logic, symbolic and mathematical
   Mathematics
   Mathematical logic and foundations

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Aspects of mathematical logic [Electronic resource] / ed. E. Casari. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2011. - (C.I.M.E. summer schools ; 48). - ISBN 978-3-642-11080-1 : Б. ц.

Рубрики: Mathematics
   Logic, symbolic and mathematical
   Mathematics
   Mathematical logic and foundations

См. : Текст издания

Доп.точки доступа:
Casari, E. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Dodos, P.
    Banach spaces and descriptive set theory: selected topics [Electronic resource] / P. Dodos. - Electronic text data. - Berlin ; Heidelberg : Springer, 2010. - (Lecture notes in mathematics, ISSN 0075-8434 ; 1993). - ISBN 978-3-642-12153-1 : Б. ц.

Рубрики: Mathematics
   Functional analysis
   Combinatorics
   Logic, symbolic and mathematical
   Mathematics
   Functional analysis
   Mathematical logic and foundations
   Combinatorics

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Soifer, A.
    The colorado mathematical olympiad and further explorations [Electronic resource] : from the mountains of colorado to the pPeaks of mathematics / A. Soifer. - Electronic text data. - Boston, Ma : Alexander Soifer, 2011. - ISBN 978-0-387-75472-7 : Б. ц.

Рубрики: Mathematics
   Algebra
   Geometry
   Logic, symbolic and mathematical
   Number theory
   Mathematics
   Algebra
   Mathematical logic and foundations
   Geometry
   Number theory

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Skof, F.
    Giuseppe peano between mathematics and logic [Electronic resource] : proceeding of the international conference in honour of giuseppe peano on the 150th anniversary of his birth and the centennial of the Formulario Mathematico, Turin (Italy), October 2–3, 2008 / F. Skof. - Electronic text data. - Milano : Springer, 2011. - ISBN 978-88-470-1836-5 : Б. ц.

Рубрики: Mathematics
   Science--Philosophy
   Logic, symbolic and mathematical
   Mathematics
   History of mathematical sciences
   Mathematical logic and foundations
   Philosophy of science

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Braüner, T.
    Hybrid logic and its proof-theory [Electronic resource] / T. Braüner. - Electronic text data. - Dordrecht : Springer Science+Business Media B.V., 2011. - (Applied logic series, ISSN 1386-2790 ; 37). - ISBN 978-94-007-0002-4 : Б. ц.

Рубрики: Philosophy (general)
   Logic
   Computer science
   Logic, symbolic and mathematical
   Philosophy
   Logic
   Mathematical logic and formal languages
   Mathematical logic and foundations

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Albeverio, S.
    Hyperfinite dirichlet forms and stochastic processes [Electronic resource] / S. Albeverio, R. Fan, F. Herzberg. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes of the unione matematica italiana, ISSN 1862-9113 ; 10). - ISBN 978-3-642-19659-1 : Б. ц.

Рубрики: Mathematics
   Logic, symbolic and mathematical
   Distribution (probability theory)
   Mathematics
   Mathematical logic and foundations
   Probability theory and stochastic processes

См. : Текст издания

Доп.точки доступа:
Fan, R.; Herzberg, F.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

    Centrone, S.
    Logic and philosophy of mathematics in the early husserl [Electronic resource] / S. Centrone. - Electronic text data. - Dordrecht : Springer, 2010. - (Synthese library, studies in epistemology, logic, methodology, and philosophy of science ; 345). - ISBN 978-9-048-13246-1 : Б. ц.

Рубрики: Philosophy (general)
   Genetic epistemology
   Logic
   Phenomenology
   Science--Philosophy
   Logic, symbolic and mathematical
   Philosophy
   Epistemology
   Mathematical logic and foundations
   History of philosophy
   Logic
   Phenomenology
   Philosophy of science

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

10.

    Mundici, D.
    Logica: metodo breve [Electronic resource] / D. Mundici. - Electronic text data. - Milano : Springer, 2011. - (UNITEXT, ISSN 2038-5714 ; 1). - ISBN 978-88-470-1884-6 : Б. ц.

Рубрики: Mathematics
   Computer science
   Logic, symbolic and mathematical
   Semantics
   Mathematics
   Mathematical logic and foundations
   Mathematical logic and formal languages
   Semantics

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

11.

    Mathematical lives [Electronic resource] : protagonists of the twentieth century from Hilbert to Wiles / ed. C. Bartocci [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - ISBN 978-3-642-13606-1 : Б. ц.

Рубрики: Mathematics
   Computer science
   Algebra
   Mathematics_$xHistory
   Logic, symbolic and mathematical
   Distribution (probability theory)
   Mathematics
   History of mathematics
   History of computing
   Algebra
   Game theory, economics, social and behav. sciences
   Mathematical logic and foundations
   Probability theory and stochastic processes

См. : Текст издания

Доп.точки доступа:
Bartocci, C. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

12.

    Leitsch, A.
    Methods of cut-elimination [Electronic resource] / A. Leitsch, M. Baaz. - Electronic text data. - Dordrecht : Springer Science+Business Media B.V., 2011. - (Trends in logic ; 34). - ISBN 978-94-007-0320-9 : Б. ц.

Рубрики: Mathematics
   Computer science
   Logic, symbolic and mathematical
   Mathematics
   Mathematical logic and foundations
   Mathematical logic and formal languages

См. : Текст издания

Доп.точки доступа:
Baaz, M.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

13.

    Model theory and applications [Electronic resource] / ed. P. Mangani. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2011. - (C.I.M.E. summer schools ; 69). - ISBN 978-3-642-11121-1 : Б. ц.

Рубрики: Mathematics
   Logic, symbolic and mathematical
   Mathematics
   Mathematical logic and foundations

См. : Текст издания

Доп.точки доступа:
Mangani, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

14.

    More sets, graphs and numbers [Electronic resource] : a salute to vera sós and andrás hajnal / ed. E. Győri [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2006. - (Bolyai society mathematical studies, ISSN 1217-4696 ; 15). - ISBN 978-3-540-32439-3 : Б. ц.

Рубрики: Mathematics
   Combinatorics
   Logic, symbolic and mathematical
   Number theory
   Mathematics
   Combinatorics
   Mathematical logic and foundations
   Number theory

См. : Текст издания

Доп.точки доступа:
Győri, E. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

15.

    Krantz, S. G.
    The proof is in the pudding [Electronic resource] : the changing nature of mathematical proof / S. G. Krantz. - Electronic text data. - New York, NY : Springer Science+Business Media LLC, 2011. - ISBN 978-0-387-48744-1 : Б. ц.

Рубрики: Mathematics
   Numerical analysis
   Logic, symbolic and mathematical
   Mathematics
   History of mathematical sciences
   Popular science in mathematics/computer science/natural science/technology
   Mathematical logic and foundations
   Numerical analysis

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

16.

    Daepp, U.
    Reading, writing, and proving [Electronic resource] : a closer look at mathematics / U. Daepp, P. Gorkin. - Electronic text data. - New York, NY : Springer Science+Business Media LLC, 2011. - (Undergraduate texts in mathematics, ISSN 0172-6056). - ISBN 978-1-4419-9479-0 : Б. ц.

Рубрики: Mathematics
   Global analysis (mathematics)
   Logic, symbolic and mathematical
   Number theory
   Mathematics
   Mathematical logic and foundations
   Analysis
   Number theory

См. : Текст издания

Доп.точки доступа:
Gorkin, P.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

17.

    Recursion theory and computational complexity [Electronic resource] / ed. G. Lolli. - Electronic text data. - Berlin ; Heidelberg : Springer-Verlag, 2011. - (C.I.M.E. summer schools ; 79). - ISBN 978-3-642-11072-6 : Б. ц.

Рубрики: Mathematics
   Logic, symbolic and mathematical
   Mathematics
   Mathematical logic and foundations

См. : Текст издания

Доп.точки доступа:
Lolli, G. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

18.

    Solojentsev, E. D.
    Scenario logic and probabilistic management of risk in business and engineering [Electronic resource] / E. D. Solojentsev. - 2nd ed. - Electronic text data. - Boston, Ma : Springer Science+Business Media LLC, 2009. - (Springer optimization and its applications, ISSN 1931-6828 ; 20). - ISBN 978-0-387-77946-1 : Б. ц.

Рубрики: Economics
   Finance
   Logic, symbolic and mathematical
   Distribution (probability theory)
   Econometrics
   Economics/Management science
   Economics/Management science, general
   Quantitative finance
   Econometrics
   Mathematical logic and foundations
   Probability theory and stochastic processes

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие

19.

    Tools for teaching logic [Electronic resource] : third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings / eds. P. Blackburn [et al.]. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6680). - ISBN 978-3-642-21350-2 : Б. ц.

Рубрики: Computer science
   Artificial intelligence
   Education
   Logic, symbolic and mathematical
   Science--Study and teaching
   Computer science
   Artificial intelligence (incl. robotics)
   Mathematical logic and formal languages
   Computers and education
   Mathematical logic and foundations
   Science education

См. : Текст издания

Доп.точки доступа:
Blackburn, P. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

20.

    Typed lambda calculi and applications [Electronic resource] : 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / ed. L. Ong. - Electronic text data. - Berlin ; Heidelberg : Springer, 2011. - (Lecture notes in computer science, ISSN 0302-9743 ; 6690). - ISBN 978-3-642-21691-6 : Б. ц.

Рубрики: Computer science
   Logic design
   Algebra--Data processing
   Electronic data processing
   Logic, symbolic and mathematical
   Computer science
   Mathematical logic and formal languages
   Mathematics of computing
   Logics and meanings of programs
   Symbolic and algebraic manipulation
   Computing methodologies
   Mathematical logic and foundations

См. : Текст издания

Доп.точки доступа:
Ong, L. \ed.\; SpringerLink (Online service)
Свободных экз. нет
Найти похожие

1-20 21-22

Тематический навигатор

Статистика обращений

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)