H.-D. Ebbinghaus – författare
Visar alla böcker från författaren H.-D. Ebbinghaus. Handla med fri frakt och snabb leverans.
5 produkter
Logic Colloquium '87
Av M. Rodriguez Artalejo, D. Lascar m. fl.
E-bok, 2000
1711 kr
Lägg i varukorg
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.
Mathematical Logic
Av Wolfgang Thomas, J. Flum m. fl.
E-bok, 2013
880 kr
Lägg i varukorg
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic …
Mathematical Logic
Av H.-D. Ebbinghaus, J. Flum m. fl.
Inbunden, 1994
895 kr
Tillfälligt slut
What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic …
