ERROR

Мы сожалеем - хотя мы сделали все возможное: произошла ошибка
Typedatabase
MessageYou have an error in your SQL syntax; check the manual that corresponds to your MariaDB server version for the right syntax to use near "AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categorie..." at line 5
QuerySELECT (SELECT categories_id FROM categories_description WHERE language_id = 8 AND categories_id = 000) AS cat1, (SELECT categories_id FROM categories_description WHERE language_id = 8 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2, (SELECT categories_id FROM categories_description WHERE language_id = 8 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3, (SELECT categories_id FROM categories_description WHERE language_id = 8 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4, (SELECT categories_name FROM categories_description WHERE language_id = 8 AND categories_id = 000) AS cat1name, (SELECT categories_name FROM categories_description WHERE language_id = 8 AND categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2name, (SELECT categories_name FROM categories_description WHERE language_id = 8 AND categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3name, (SELECT categories_name FROM categories_description WHERE language_id = 8 AND categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4name, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 000) AS cat1url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3url, (SELECT url_text FROM commerce_seo_url_without_language WHERE categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4url, (SELECT wod_count_products FROM categories WHERE categories_id = 000) AS cat1cnt, (SELECT wod_count_products FROM categories WHERE categories_id = 00 AND SUBSTRING(categories_id,2,1) != "0") AS cat2cnt, (SELECT wod_count_products FROM categories WHERE categories_id = 0 AND SUBSTRING(categories_id,3,1) != "0") AS cat3cnt, (SELECT wod_count_products FROM categories WHERE categories_id = AND SUBSTRING(categories_id,4,1) != "0") AS cat4cnt

Klaus Mainzer & Helmut Schwichtenberg 
PROOF AND COMPUTATION II [EPUB ebook] 
From Proof Theory and Univalent Mathematics to Program Extraction and Verification

Supporto

This book is for graduate students and researchers, introducing modern foundational research in mathematics, computer science, and philosophy from an interdisciplinary point of view. Its scope includes proof theory, constructive mathematics and type theory, univalent mathematics and point-free approaches to topology, extraction of certified programs from proofs, automated proofs in the automotive industry, as well as the philosophical and historical background of proof theory. By filling the gap between (under-)graduate level textbooks and advanced research papers, the book gives a scholarly account of recent developments and emerging branches of the aforementioned fields.

€109.99
Modalità di pagamento
Acquista questo ebook e ricevine 1 in più GRATIS!
Lingua Inglese ● Formato EPUB ● Pagine 424 ● ISBN 9789811236495 ● Dimensione 8.6 MB ● Editore Klaus Mainzer & Helmut Schwichtenberg ● Casa editrice World Scientific Publishing Company ● Città Singapore ● Paese SG ● Pubblicato 2021 ● Scaricabile 24 mesi ● Moneta EUR ● ID 7908171 ● Protezione dalla copia Adobe DRM
Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

50.053 Ebook in questa categoria