This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate ...Celý popis
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.
Prečo nakupovať na Enbooku?
VEĽKÝ VÝBER
Ponúkame milióny kníh v angličtine. Od beletrie až po tie najodbornejšie odborné.
POŠTOVNÉ ZADARMO
Poštovné už od 2,99 € a pri objednávke nad 60 € doprava na pobočku Zásielkovne zadarmo
SKVELÉ CENY
Ceny kníh sa snažíme držať pri zemi a vždy pod cenou odporúčanou vydavateľom, aby si ich mohol kúpiť naozaj každý.
OVERENÉ ZÁKAZNÍKMI
Získali sme certifikát "Overené zákazníkmi" na Heureka.sk. Prezrite si naše recenzie
ONLINE PODPORA
Môžete využiť online chat, email alebo nám zatelefonovať.