H.-D. Ebbinghaus,
J. Flum,
W. Thomas
Mathematical Logic
Paperback Engels 1985 9780387961705Niet leverbaar.
Samenvatting
This careful, self-contained introduction to first-order logic includes an exposition of certain topics not usually found in introductory texts (such as Trachtenbrot's undecidability theorem, Fraisse's characterization of elementary equivalence, and Lindström's theorem on the maximality of first-order logic). The presentation is detailed and systematic without being long-winded or tedious. The role of first-order logic in the foundations of mathematics is worked out clearly, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. Many exercises accompany the text.
Specificaties
ISBN13:9780387961705
Taal:Engels
Bindwijze:Paperback
Uitgever:Springer New York
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
€ 36,99
Dit product is niet leverbaar
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan