Computability and logic; George Boolos, Richard C. Jeffrey; 1989
Computability and logic; George Boolos, Richard C. Jeffrey; 1989

Computability and logic Upplaga 3

av George Boolos, Richard C. Jeffrey

  • Upplaga: 3e upplagan
  • Utgiven: 1989
  • ISBN: 9780521389235
  • Sidor: 320 st
  • Förlag: Cambridge Univ. Press
  • Format: Häftad
  • Språk: Engelska

Om boken

A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.

Åtkomstkoder och digitalt tilläggsmaterial garanteras inte med begagnade böcker

Mer om Computability and logic (1989)

1989 släpptes boken Computability and logic skriven av George Boolos, Richard C. Jeffrey. Det är den 3e upplagan av kursboken. Den är skriven på engelska och består av 320 sidor. Förlaget bakom boken är Cambridge Univ. Press.

Köp boken Computability and logic på Studentapan och spara pengar.

Tillhör kategorierna

ÖvrigtÖvrigt

Referera till Computability and logic (Upplaga 3)

Harvard

Boolos, G. & Jeffrey, R. C. (1989). Computability and logic. 3:e uppl. Cambridge Univ. Press.

Oxford

Boolos, George & Jeffrey, Richard C., Computability and logic, 3 uppl. (Cambridge Univ. Press, 1989).

APA

Boolos, G., & Jeffrey, R. C. (1989). Computability and logic (3:e uppl.). Cambridge Univ. Press.

Vancouver

Boolos G, Jeffrey RC. Computability and logic. 3:e uppl. Cambridge Univ. Press; 1989.

Köp boken