Psykologi & pedagogik
Mathematical Logic
H-D Ebbinghaus • J Flum • Wolfgang Thomas • H-D Ebbinghaus • H-D Ebbinghaus
Inbunden
859:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs).
- Format: Inbunden
- ISBN: 9780387942582
- Språk: Engelska
- Antal sidor: 291
- Utgivningsdatum: 1994-06-10
- Förlag: Springer-Verlag New York Inc.