Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Logic for Computer Science

Foundations of Automatic Theorem Proving, Second Edition

Език Английски езикАнглийски език
Книга С меки корици
Книга Logic for Computer Science Jean Gallier
Код Либристо: 02569839
Издателство Dover Publications Inc., юни 2015
This advanced text for undergraduate and graduate students introduces mathematical logic with an emp... Цялото описание
? points 61 b
25.22 €
49.32  лв
50% вероятност Ще претърсим света Кога ще получа книгата?

До 30 дни за връщане на стоки

Клиентите са закупили също

Le lieutenant Déodat Claude Le Borgne / Книга С меки корици
common.buy 25.12 € 49.12 лв
Erklarung der Tier-Namen aus allen Sprachgebieten August von Edlinger / Книга С меки корици
common.buy 21.71 € 42.46 лв
Fuhrung und Selbstorganisation Heidi Hentschke / Книга С меки корици
common.buy 35.85 € 70.11 лв
Vermoegensubertragungen nach dem Unternehmenssteuerfortentwicklungsgesetz Frank Schulze Topphoff / Книга С меки корици
common.buy 45.23 € 88.47 лв
Top
Jak mówić, żeby maluchy nas słuchały. Poradnik przetrwania dla rodziców dzieci w wieku 2-7 lat wyd. 2 Joanna Faber / Книга С меки корици
common.buy 8.92 € 17.44 лв
Hanako-kun. I 7 misteri dell'Accademia Kamome Aida Iro / Книга С меки корици
common.buy 7.94 € 15.53 лв
Procesadores de textos y presentaciones de información básicos. UF0510 (MF0974_1) Certificado de Pro Obra colectiva / Книга С меки корици
common.buy 40.85 € 79.89 лв
Highlights Schweiz Gotlind Blechschmidt / Книга С твърди корици
common.buy 27.39 € 53.56 лв
LA DICTEE EN MUSIQUE VOL.4 - CORRIGE CHEPELOV P/MENUT B Книга Книга
common.buy 12.22 € 23.90 лв
Benny Blu - Müll Christiane Neumann / Книга Лист
common.buy 4.22 € 8.26 лв
Smrt v záři neonů Libor Machala / Книга С меки корици
common.buy 6.18 € 12.10 лв
Normański rycerz 950-1204 Gravett Christopher / Книга С меки корици
common.buy 9.49 € 18.55 лв
Meine Bibel zur Erstkommunion Martin Polster / Книга С твърди корици
common.buy 13.51 € 26.42 лв

This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and foundations of automatic theorem proving. 2003 edition.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Logic for Computer Science
Автор Jean Gallier
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2015
Брой страници 544
Баркод 9780486780825
ISBN 0486780821
Код Либристо 02569839
Издателство Dover Publications Inc.
Тегло 758
Размери 158 x 237 x 35

Категории

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Introduction to Lattices and Order B. A. Davey / Книга С меки корици
common.buy 65.87 € 128.82 лв
You Are Positively Awesome STACIE SWIFT / Книга С твърди корици
common.buy 14.80 € 28.94 лв
ANNUAL REPORT, VOLUME 37 NEW JERSEY. BUREAU O / Книга С твърди корици
common.buy 33.47 € 65.47 лв
Maginot Line Gun Turrets Clayton Donnell / Книга С меки корици
common.buy 15.73 € 30.76 лв
Pinup Alternative Magazine: Issue 1 Jason Kamimura / Книга С меки корици
common.buy 15.68 € 30.66 лв
Little Grey Men B.B / Книга С меки корици
common.buy 10.36 € 20.27 лв
Digital Marketing Annmarie Hanlon / Книга С меки корици
common.buy 47.09 € 92.10 лв
Top
Court of Thorns and Roses Collector's Edition Sarah Janet Maas / Книга С твърди корици
common.buy 29.50 € 57.70 лв
Artful Maths Teacher Book Clarissa Grandi / Книга С твърди корици
common.buy 17.12 € 33.48 лв
Iran-Contra Malcolm Byrne / Книга С меки корици
common.buy 44.46 € 86.95 лв
Powerful Patty McCord / Книга С меки корици
common.buy 7.68 € 15.02 лв
Top
Liberated Mind STEVEN C. PHD HAYES / Книга С меки корици
common.buy 15.73 € 30.76 лв
Top
Life is Strange 1-3 Boxed Set Emma Vieceli / Книга С меки корици
common.buy 41.21 € 80.60 лв
You Never Forget Your First Alexis Coe / Книга С меки корици
common.buy 14.23 € 27.83 лв
How to Teach Kids Anything Peter Hollins / Книга С меки корици
common.buy 16.60 € 32.48 лв
Top
Balenciaga – Kublin Ana Balda / Книга С твърди корици
common.buy 52.45 € 102.59 лв
The Obstacle Is the Way 10th Anniversary Edition Holiday / Книга С меки корици
common.buy 23.05 € 45.09 лв
Top
The Angel Next Door Spoils Me Rotten, Vol. 7 (Light Novel) Nicole Wilder / Книга С меки корици
common.buy 12.12 € 23.70 лв
Fantasy Houses Carla Kamphuis / Книга С меки корици
common.buy 16.71 € 32.68 лв
Нови
Advances in Oncology, 2026 Leonidas C. Platanias / Книга С твърди корици
common.buy 184.61 € 361.07 лв
Three Dark Crowns Kendare Blake / Книга С меки корици
common.buy 9.23 € 18.05 лв
Top
Wonder R. J. Palacio / Книга С меки корици
common.buy 8.45 € 16.54 лв
Lattices and Ordered Algebraic Structures T.S. Blyth / Книга С меки корици
common.buy 69.01 € 134.98 лв
Top
Life in a Medieval Village GIES FRANCES / Книга С меки корици
common.buy 12.63 € 24.71 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?