H.-D. Ebbinghaus | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?

MATHEMATICAL LOGIC

H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas
Springer (2012)
Pehmeäkantinen kirja

62,60 €

ZAHLEN

H.-D. Ebbinghaus; H. Hermes; F. Hirzebruch; M. Koecher; K. Mainzer; A. Prestel; R. Remmert
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1983)
Pehmeäkantinen kirja

52,80 €

MATHEMATICAL LOGIC

H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas
Springer-Verlag New York Inc. (1994)
Kovakantinen kirja

61,30 €

MATHEMATICAL LOGIC

H.-D. Ebbinghaus; J. Flum; W. Thomas
Springer-Verlag New York Inc. (1985)
Pehmeäkantinen kirja

31,40 €

SELECTA MATHEMATICA II

H.D. Ebbinghaus; F.K. Mahn; Hans Hermes; Konrad Jacobs
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1970)
Pehmeäkantinen kirja

48,10 €

FINITE MODEL THEORY

H-. D. Ebbinghaus; Jorg Flum
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)

214,10 €

Mathematical Logic

H.-D. Ebbinghaus, J. Flum, Wolfgang Thomas

62,60 €

Springer
Sivumäärä: 291 sivua
Asu: Pehmeäkantinen kirja
Painos: 2nd ed. 1994. Softco
Julkaisuvuosi: 2012, 12.12.2012 (lisätietoa)
Kieli: Englanti

This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines. It covers several advanced topics not commonly treated in introductory texts, such as Fraïssé's characterization of elementary equivalence, Lindström's theorem on the maximality of first-order logic, and the fundamentals of logic programming.

Loppuunmyyty

Myymäläsaatavuus