Mathematical Logic | Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic...
Mathematical Logic | Heinz-Dieter Ebbinghaus, Jorg Flum, Wolfgang Thomas
Описание на продукта
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic...
Параметри на продукта
Автор
Flum Jorg, Thomas Wolfgang, Ebbinghaus Heinz-Dieter
Параметри на продукта
Автор
Flum Jorg, Thomas Wolfgang, Ebbinghaus Heinz-Dieter
Описание на продукта
This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.
Липсва или е неправилен важен параметър? Предоставената информация е само за ориентиране, затова ви съветваме да проверите дали предлаганият продукт има ключовите параметри от които се нуждаете, преди да купите от магазина по ваш избор. Въпреки че се стремим към максимална точност на информацията, за съжаление не можем винаги да гарантираме 100% съответствие. Цените на продуктите са с включен ДДС.
Продуктът все още няма отзиви.
{"Любими категории":[["Комплект за хранене","https://www.pazaruvaj.com/c/komplekt-za-hranene-c4928/"],["Велоергометър","https://www.pazaruvaj.com/c/veloergometyr-c3044/"],["Спортни седалки","https://www.pazaruvaj.com/c/sportni-sedalki-c6643/"],["Хидравлично масло","https://www.pazaruvaj.com/c/hidravlichno-maslo-c5596/"],["Детски клин","https://www.pazaruvaj.com/c/detski-klin-c9219/"]],"Как да изберете най-добре":[["Как да купите шампоан за брада?","https://www.pazaruvaj.com/a/kak-da-kupite-shampoan-za-brada-c8526-303/"],["Как да си купите тракторна косачка?","https://www.pazaruvaj.com/a/kak-da-si-kupite-traktorna-kosachka-c7385-65/"],["Как да си купите авто радио?","https://www.pazaruvaj.com/a/kak-da-si-kupite-avto-radio-c3617-161/"]],"Избрани продукти":[["PQube Supermarket Shriek (Switch)","https://www.pazaruvaj.com/p/supermarket-shriek-switch-pP601118058/"],["Wilo Пускателно табло (Пускателно табло за сондажна помпа)","https://www.pazaruvaj.com/p/puskatelno-tablo-puskatelno-tablo-za-sondazhna-pompa-pP884875551/"],["Gosund SP112 (2-Pack)","https://www.pazaruvaj.com/p/sp112-2-pack-pP973572555/"],["Christopeit Cambridge II","https://www.pazaruvaj.com/p/cambridge-ii-pP127505591/"],["Royal Catering RCPO-2400-1PS","https://www.pazaruvaj.com/p/rcpo-2400-1ps-pP889974711/"],["Raider 44 mm 157781","https://www.pazaruvaj.com/p/44-mm-157781-pP956658165/"],["Stefanplast - Сандъче Natural 50 см - Зелено (73761)","https://www.pazaruvaj.com/p/sandyche-natural-50-sm-zeleno-73761-pP1023372697/"]],"Препоръчваме":[["Cлушалки","https://www.pazaruvaj.com/c/slushalki-c3109/"],["PlayStation 5 (PS5)","https://www.pazaruvaj.com/p/playstation-5-ps5-pP588030129/"],["Nintendo Switch","https://www.pazaruvaj.com/c/konzoli-za-igri-c3154/f:4634:331818/"],["Мобилни телефони","https://www.pazaruvaj.com/c/mobilni-telefoni-gsm-c3277/"],["Смарт часовници","https://www.pazaruvaj.com/c/smart-chasovnici-fitnes-trakeri-c7323/"],["Преносими компютри","https://www.pazaruvaj.com/c/prenosimi-kompjutri-c3100/"],["Прахосмукачки","https://www.pazaruvaj.com/c/prahosmukachki-uredi-za-pochistvane-c3170/"],["Телевизори","https://www.pazaruvaj.com/c/lcd-crt-i-plasma-televizori-c3164/"]]}
