H.D. Ebbinghaus | Akateeminen Kirjakauppa

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

MATHEMATICAL LOGIC

Tekijä: H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas
Kustantaja: Springer (2012)
Saatavuus: Loppuunmyyty.

EUR 60,40

MATHEMATICAL LOGIC

Tekijä: H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas
Kustantaja: Springer-Verlag New York Inc. (1994)
Saatavuus: Noin 17-20 arkipäivää

EUR 59,20

MATHEMATICAL LOGIC

Tekijä: H.-D. Ebbinghaus; J. Flum; W. Thomas
Kustantaja: Springer (1985)
Saatavuus: Ei tiedossa

EUR 30,30

ZAHLEN

Tekijä: H.-D. Ebbinghaus; H. Hermes; F. Hirzebruch; M. Koecher; K. Mainzer; A. Prestel; R. Remmert
Kustantaja: Springer (1983)
Saatavuus: Noin 17-20 arkipäivää

EUR 51,00

SELECTA MATHEMATICA II

Tekijä: H.D. Ebbinghaus; F.K. Mahn; Hans Hermes; Konrad Jacobs
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1970)
Saatavuus: Noin 17-20 arkipäivää

EUR 46,40

FINITE MODEL THEORY

Tekijä: H-. D. Ebbinghaus; Jorg Flum
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Saatavuus: Ei tiedossa

EUR 204,30

Mathematical Logic

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

60,40 €

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