20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
259 kr
I lager, skickas inom 4 till 5 vardagar
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
259 kr
I lager, skickas inom 4 till 5 vardagar
20% rabatt med Storytel
Du handlar alltid fysiska böcker till specialpriser om du har eller startar ett abonnemang.
Frakt från 0 kr
Snabb leverans med CityMail, Early Bird, Instabox, Budbee, PostNord eller DSV. Du ser alla fraktalternativ och priser i kassan.
Fria returer
Lämna tillbaka din bok kostnadsfritt med 14 dagars ångerrätt.
Utforska miljontals ljud- och e-böcker och upptäck stories i alla format. Med ett abonnemang får du 20% rabatt på fysiska böcker!
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text. It begins with an elementary but thorough overview of mathematical logic of first order. The treatment extends beyond a single method of formulating logic to offer instruction in a variety of techniques: model theory (truth tables), Hilbert-type proof theory, and proof theory handled through derived rules.
The second part supplements the previously discussed material and introduces some of the newer ideas and the more profound results of twentieth-century logical research. Subsequent chapters explore the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. The author, Stephen Cole Kleene, was Cyrus C. MacDuffee Professor of Mathematics at the University of Wisconsin, Madison. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index.
A. N. Kolmogorov
Christopher Essex, Robert Adams
Frank Ayres, Lloyd Jaisingh
Lynn Harold Loomis, Shlomo Sternberg
Walter Rudin
Teresa Bradley
John Haugan
C. Kraaikamp, F.M. Dekking, H.P. Lopuhaä
Keying Ye, Raymond Myers, Ronald Walpole, Sharon Myers
Irénée Dondjio, Wouter Krasser
Claus Scheiderer, Manfred Knebusch
S.R.S. Varadhan
César R. De Oliveira
Christian Constanda
Herbert S Wilf
Dennis Wackerly, Richard Scheaffer, William Mendenhall III
Christopher Essex, Robert Adams
Elisabeth A Gundlach, Mark Daniel WARD
Terence Tao
Daniel S. Freed
Terence Tao
Fabio Silva Botelho
Sarah Easter Collins
Frida Skybäck
Liz Moore
Colleen Hoover
Kristin Fägerskjöld
Armando Lucas Correa
Sharon Bolton
Ruth Lillegraven
Santa Montefiore
Kelly Rimmer
Martha Hall Kelly
Svenja O'Donnell
Nathan Harris
Holly Jackson
Louise Boije af Gennäs
Tina Norin
Kristin Fägerskjöld
Pernilla Lindroos
Anna Lönnqvist
Jessie Burton
Malin Nordström
Marc Levy
Emma Donoghue
Snezana Lindskog, Andie Lindskog
Tony Samuelsson
Andrev Walden
Tina Harnesk
Kathrine Nedrejord
Anthony Doerr
Marieke Lucas Rijneveld
Lauren Groff
Claire Messud
Claire Lynch
Sebastian Barry
Ray Celestin
Simon Stranger
Alice Munro
Linda Boström Knausgård
Marit Kapla
Ulf Stark
Sarah Easter Collins
Liz Moore
Ursula Scavenius
Colleen Hoover
Michel Jean
