|
|

avaa valikko

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)
Steven Homer, Piergiorgio Odifreddi, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov
26,20 €
Springer
Sivumäärä: 170 sivua
Asu: Pehmeäkantinen kirja
Painos: 1990 ed.
Julkaisuvuosi: 1990, 17.07.1990 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Mathematics 1429
The courses given at the 1st CIME Summer school of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers and cover such topics as isomorphism conjecture and its generalization, intuitionistic logic and PROLOG programming.

LISÄÄ OSTOSKORIIN
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Tilaustuote

Tilaustuote

Tämän tuotteen tilaamme kustantajalta tai tukkurilta varastoomme. Saatavuusarvio on tuotekohtainen. Lähetämme toimitusvahvistuksen heti, kun tuote on toimitettu varastoltamme rahdinkuljettajalle.
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.)Suurenna kuva
Näytä kaikki tuotetiedot
ISBN:
9783540527343
Aihealue:
Ulkomaiset kirjat » Mathematics » Logic
Kansikuva tuotteelle