| Автор: Daniel J. Velleman
Название: How to Prove It : A Structured Approach
Издательство: Cambridge Academ / Cambridge University Press
Год издания: 2019 / Обложка: Paperback
ISBN: 9781108439534 / 1108439535 Кол-во страниц: 468
Рейтинг:
Наличие на складе: Ожидается
Цена: 6176.00 |
|
|
| Автор: Awodey, Steve
Название: Introduction to Category Theory (Paperback)
Издательство: Oxford Academ / Oxford Higher Education
Год издания: 2009 / Обложка: Paperback
ISBN: 9780199237180 / 0199237182 Кол-во страниц: 304
Рейтинг:
Наличие на складе: Есть в наличии
Цена: 8696.00 9662.00 -10% |
|
|
| Автор: Mendelson, Elliot,
Название: Schaum`s outline of Boolean algebra and switching circuits
Издательство: McGraw-Hill / Mcgraw-hill Education - Europe
Год издания: 1970 / Обложка: Hardback
ISBN: 9780070414600 / 0070414602 Кол-во страниц: 224
Наличие на складе: Есть в наличии
Цена: 986.00 3087.00 |
|
|
| Автор: Turing
Название: Alan M. Turing
Издательство: Cambridge Academ / Cambridge University Press
Год издания: 2014 / Обложка: Paperback
ISBN: 9781107524224 / 1107524229 Кол-во страниц: 194
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 2533.00 |
|
|
| Автор: F. William Lawvere
Название: Conceptual Mathematics
Издательство: Cambridge Academ / Cambridge University Press
Год издания: 2008 / Обложка: Paperback
ISBN: 9780521719162 / 052171916X Кол-во страниц: 408
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 7762.00 |
|
|
| Автор: Nederpelt
Название: Type Theory and Formal Proof
Издательство: Cambridge Academ / Cambridge University Press
Год издания: 2014 / Обложка: Hardback
ISBN: 9781107036505 / 110703650X Кол-во страниц: 466
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 10611.00 |
|
|
| Автор: Riehl Emily
Название: Category Theory in Context
Издательство: Dover / Dover Publications
Год издания: 2016 / Обложка: Paperback
ISBN: 9780486809038 / 048680903X Кол-во страниц: 272
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 4343.00 |
|
|
| Автор: Singh, Simon
Название: Fermat`s last theorem
Издательство: HarperCollins UK / Harpercollins publishers
Год издания: 2022 / Обложка: Paperback
ISBN: 9780008553821 / 0008553823 Кол-во страниц: 368
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 1319.00 |
|
|
| Автор: Barendregt
Название: Lambda Calculus with Types
Издательство: Cambridge Academ / Cambridge University Press
Год издания: 2013 / Обложка: Hardback
ISBN: 9780521766142 / 0521766141 Кол-во страниц: 856
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 12830.00 |
|
|
| Автор: Peter J. Cameron
Название: Sets, Logic and Categories
Издательство: Springer / Springer London
Год издания: 1999 / Обложка: Paperback
ISBN: 9781852330569 / 1852330562 Кол-во страниц: 182
Наличие на складе: Поставка под заказ.
Цена: 4884.00 |
|
|
| Автор: Simmons Harold
Название: Introduction to category theory
Издательство: Cambridge Academ / Cambridge university press
Год издания: 2011 / Обложка: Paperback
ISBN: 9780521283045 / 0521283043 Кол-во страниц: 238
Наличие на складе: Есть в наличии
Цена: 3991.00 4434.00 -10% |
|
|
| Автор: Herbert Enderton
Название: A Mathematical Introduction to Logic,
Издательство: Elsevier Science / Academic Press
Год издания: 2001 / Обложка: Hardback
ISBN: 9780122384523 / 0122384520 Кол-во страниц: 317
Рейтинг:
Наличие на складе: Поставка под заказ.
Цена: 13994.00 |
|
|
| Автор: Cheng Eugenia
Название: Art of Logic
Издательство: Profile / Profile books ltd
Год издания: 2019 / Обложка: Paperback
ISBN: 9781788160391 / 1788160398 Кол-во страниц: 320
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 1820.00 |
|
|
| Автор: Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, New
Название: Consequence Relations
Издательство: Oxford Academ / Oxford university press
Год издания: 2022 / Обложка: Hardback
ISBN: 9780192866417 / 0192866419 Кол-во страниц: 352
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 8903.00 |
|
|
| Автор: Margaris, Angelo
Название: First Order Mathematical Logic
Издательство: Dover / Dover Publications
Год издания: 1990 / Обложка: Trade Paperback
ISBN: 9780486662695 / 0486662691 Кол-во страниц: 212
Наличие на складе: Нет в наличии.
Цена: 1861.00 |
|
|
| Автор: Fitting
Название: First-Order Modal Logic
Издательство: Springer / Springer
Год издания: 2023 / Обложка: Hardback
ISBN: 9783031407130 / 303140713X Кол-во страниц: 460
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 16769.00 |
|
|
| Автор: Mendelson Elliott
Название: Introduction to Mathematical Logic
Издательство: Taylor&Francis / CRC Press
Год издания: 2015 / Обложка: Hardback
ISBN: 9781482237726 / 1482237725 Кол-во страниц: 513
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 8184.00 |
|
|
| Автор: J. Roger Hindley
Название: Lambda-Calculus and Combinators
Издательство: Cambridge Academ / Cambridge University Press
Год издания: 2008 / Обложка: Hardback
ISBN: 9780521898850 / 0521898854 Кол-во страниц: 360
Рейтинг:
Наличие на складе: Ожидается
Цена: 13940.00 |
|
|
| Название: Logical writings of karl popper
Издательство: Springer / Springer nature switzerland ag
Год издания: 2022 / Обложка: Hardback
ISBN: 9783030949259 / 3030949257 Кол-во страниц: 552
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 5589.00 |
|
|
| Автор: Lakatos
Название: Proofs and Refutations
Издательство: Cambridge Academ / Cambridge University Press
Год издания: 2015 / Обложка: Paperback
ISBN: 9781107534056 / 1107534054 Кол-во страниц: 196
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 3326.00 |
|
|
| Автор: Melvin Fitting; Brian Rayman
Название: Raymond Smullyan on Self Reference
Издательство: Springer / Springer International Publishing
Год издания: / Обложка: Hardcover
ISBN: 9783319687315 / 331968731X Кол-во страниц: 194
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 13974.00 |
|
|
| Автор: Johannes Stern
Название: Toward Predicate Approaches to Modality
Издательство: Springer / Springer International Publishing
Год издания: 2015 / Обложка: Hardcover
ISBN: 9783319225562 / 3319225561 Кол-во страниц: 190
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 11876.00 |
|
|
| Автор: Tarski Alfred
Название: Undecidable Theories: Studies in Logic and the Foundation of Mathematics
Издательство: Dover / Dover Publications
Год издания: 2010 / Обложка: Paperback
ISBN: 9780486477039 / 0486477037 Кол-во страниц: 112
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 2103.00 |
|
|
| Автор: Feferman, Anita Burdman
Название: From Trotsky to G?del
Издательство: Taylor&Francis / Taylor & francis inc
Год издания: 2000 / Обложка: Paperback
ISBN: 9781568811482 / 1568811489 Кол-во страниц: 426
Рейтинг:
Наличие на складе: Есть в наличии
Цена: 8726.00 |
|
|
| Автор: Borger Egon, Gradel Erich, Gurevich Yuri
Название: The Classical Decision Problem
Издательство: Springer / Springer Berlin Heidelberg
Год издания: 2001 / Обложка: Paperback
ISBN: 9783540423249 / 3540423249 Кол-во страниц: 482
Наличие на складе: Есть в наличии
Цена: 17609.00 25155.00 -30% |
|
|
| Автор: Von Plato Jan
Название: The Great Formal Machinery Works: Theories of Deduction and Computation at the Origins of the Digital Age
Издательство: Wiley / Princeton University Press
Год издания: 2017 / Обложка: Hardback
ISBN: 9780691174174 / 0691174172 Кол-во страниц: 392
Рейтинг:
Наличие на складе: Есть в наличии
Цена: 3548.00 5069.00 -30% |
|
|
| Автор: Sernadas Amilcar, Sernadas Cristina, Rasga Joao
Название: A Mathematical Primer on Computability
Издательство: College Publications / College Publications
Год издания: 2018 / Обложка: Paperback
ISBN: 9781848902961 / 1848902964 Кол-во страниц: 280
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 3954.00 |
|
|
| Автор: Gorska, Anna M.
Название: Advances in Distance Learning in Times of Pandemic
Издательство: Taylor&Francis / Taylor & francis ltd
Год издания: 2023 / Обложка: Hardback
ISBN: 9781032334417 / 103233441X Кол-во страниц: 306
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 18374.00 |
|
|
| Автор: Effinger, Gove W.,
Название: An elementary transition to abstract mathematics /
Издательство: Taylor&Francis / CRC Press, Taylor & Francis Group,
Год издания: 2019 / Обложка: Hardcover
ISBN: 9780367336936 / 0367336936 Кол-во страниц: 282
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 13779.00 |
|
|
| Автор: Brendan Fong, David I. Spivak
Название: An Invitation to Applied Category Theory: Seven Sketches in Compositionality
Издательство: Cambridge Academ / Cambridge University Press
Год издания: 2019 / Обложка: Paperback
ISBN: 9781108711821 / 1108711820 Кол-во страниц: 348
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 7286.00 |
|
|
| Автор: A. S. Troelstra
Название: Basic Proof Theory
Издательство: Cambridge Academ / Cambridge University Press
Год издания: 2000 / Обложка: Paperback
ISBN: 9780521779111 / 0521779111 Кол-во страниц: 432
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 7445.00 |
|
|
| Автор: Crole
Название: Categories for Types
Издательство: Cambridge Academ / Cambridge university press
Год издания: 1994 / Обложка: Paperback
ISBN: 9780521457019 / 0521457017 Кол-во страниц: 356
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 10454.00 |
|
|
| Автор: Mezo, Istvan
Название: Combinatorics and number theory of counting sequences
Издательство: Taylor&Francis / Taylor & francis ltd
Год издания: 2023 / Обложка: Paperback
ISBN: 9781032475356 / 1032475358 Кол-во страниц: 498
Наличие на складе: Поставка под заказ.
Цена: 6583.00 |
|
|
| Автор: Alencar, Marcelo S.,
Название: Cryptography and network security /
Издательство: Taylor&Francis /
Год издания: 2022 / Обложка: Hardback
ISBN: 9788770224079 / 8770224072 Кол-во страниц: 298
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 18374.00 |
|
|
| Автор: Nour Moustafa
Название: Digital Forensics in the Era of Artificial Intelligence
Издательство: Taylor&Francis / CRC Press
Год издания: 2022 / Обложка: Hardback
ISBN: 9781032244938 / 1032244933 Кол-во страниц: 236
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 13938.00 |
|
|
| Название: Electromagnetic Compatibility
Издательство: Taylor&Francis / CRC Press
Год издания: 2016 / Обложка: Hardback
ISBN: 9781482299502 / 148229950X Кол-во страниц: 1160
Рейтинг:
Наличие на складе: Поставка под заказ.
Цена: 33686.00 |
|
|
| Автор: Kevin Foltz, William R. Simpson
Название: Enterprise Level Security 1 & 2
Издательство: Taylor&Francis / CRC Press
Год издания: / Обложка: Multiple-component retail product
ISBN: 9780367536121 / 0367536129 Кол-во страниц:
Наличие на складе: Поставка под заказ.
Цена: 6889.00 |
|
|
| Автор: Clara Loh
Название: Exploring Formalisation
Издательство: Springer / Springer
Год издания: 2022 / Обложка: Soft cover
ISBN: 9783031146480 / 3031146484 Кол-во страниц: 147
Наличие на складе: Поставка под заказ.
Цена: 6986.00 |
|
|
| Автор: Rosenhouse, Jason
Название: Games for your mind
Издательство: Wiley / Princeton university press
Год издания: 2022 / Обложка: Paperback
ISBN: 9780691242026 / 069124202X Кол-во страниц: 352
Рейтинг:
Наличие на складе: Поставка под заказ.
Цена: 3168.00 |
|
|
| Автор: Doets, Kees Van Eijck, Jan
Название: Haskell road to logic, maths and programming
Издательство: /
Год издания: 2004 / Обложка: Paperback
ISBN: 9780954300692 / 0954300696 Кол-во страниц: 444
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 3788.00 |
|
|
| Автор: Hayward
Название: Hex
Издательство: Taylor&Francis / CRC Press
Год издания: 2019 / Обложка: Paperback
ISBN: 9780367144227 / 0367144220 Кол-во страниц: 320
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 5051.00 |
|
|
| Автор: Solow
Название: How to Read and Do Proofs - An Introduction to Mathematical Thought Processes, Sixth Edition
Издательство: Wiley / Wiley
Год издания: 2013 / Обложка: Paperback
ISBN: 9781118164020 / 1118164024 Кол-во страниц: 336
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 12030.00 |
|
|
| Автор: Hankin, Chris
Название: Introduction to lambada calculi for computer scientists
Издательство: /
Год издания: 2004 / Обложка: Paperback
ISBN: 9780954300654 / 0954300653 Кол-во страниц: 180
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 4230.00 |
|
|
| Автор: Sorensen, Morten Heine
Название: Lectures on the Curry-Howard Isomorphism
Издательство: Elsevier Science / Elsevier Science
Год издания: 2006 / Обложка: Hardback
ISBN: 9780444520777 / 0444520775 Кол-во страниц: 456
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 21054.00 |
|
|
| Название: Logic in question
Издательство: Springer nature b.v. / Springer nature b.v.
Год издания: 2023 / Обложка: Paperback
ISBN: 9783030944537 / 3030944530 Кол-во страниц: 766
Наличие на складе: Поставка под заказ.
Цена: 7601.00 |
|
|
| Автор: Priest Graham
Название: Logic: A Very Short Introduction
Издательство: Oxford Academ / Oxford University Press, USA
Год издания: 2017 / Обложка: Paperback
ISBN: 9780198811701 / 0198811705 Кол-во страниц: 152
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 1582.00 |
|
|
| Автор: Ebbinghaus, Heinz-dieter Flum, Jorg Thomas, Wolfgang
Название: Mathematical logic
Издательство: Springer / Springer international publishing
Год издания: 2021 / Обложка: Hardcover
ISBN: 9783030738389 / 3030738388 Кол-во страниц: 304
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 6986.00 |
|
|
| Автор: Shoenfield, Joseph R.
Название: Mathematical Logic
Издательство: Taylor&Francis / Taylor & francis inc
Год издания: 2001 / Обложка: Paperback
ISBN: 9781568811352 / 1568811357 Кол-во страниц: 352
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 7348.00 |
|
|
| Автор: Brylinski, Ranee K.
Название: Mathematics of Quantum Computation
Издательство: Taylor&Francis / Taylor & francis inc
Год издания: 2002 / Обложка: Hardback
ISBN: 9781584882824 / 1584882824 Кол-во страниц: 448
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 27562.00 |
|
|
| Автор: Oun Hwang, Seong
Название: Modern Cryptography with Proof Techniques and Applications
Издательство: Taylor&Francis / CRC Press
Год издания: 2020 / Обложка: Hardback
ISBN: 9781138584082 / 1138584088 Кол-во страниц: 500
Рейтинг:
Наличие на складе: Есть у поставщика. Поставка под заказ.
Цена: 16843.00 |
|
|
