Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic and Computer Science

Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988

Język AngielskiAngielski
Książka Miękka
Książka Logic and Computer Science Steven Homer
Kod Libristo: 01565309
Wydawnictwo Springer, Berlin, listopad 2007
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Cały opis
? points 63 b
109.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann / Książka Miękka
common.buy 35.02 zł
VOYAGE Daniele Steel / Książka Miękka
common.buy 53.28 zł
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Książka Twarda
common.buy 140.00 zł
El Arte de Saludar y Presentar. El Telefono y las Redes Sociales - Guia Practica para la Gente de Hoy Eduardo Algimantas / E-book Adobe ePub DRM
common.buy 16.25 zł
Saint Grégoire de Nazianze Alain Durel / Książka Miękka
common.buy 57.80 zł
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Książka Miękka
common.buy 151.14 zł

The courses given at the 1st C.I.M.E. 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: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic and Computer Science
Autor Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Język Angielski
Oprawa Książka - Miękka
Data wydania 2008
Liczba stron 170
EAN 9783540527343
ISBN 3540527346
Kod Libristo 01565309
Wydawnictwo Springer, Berlin
Waga 275
Wymiary 157 x 237 x 10

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Książka Miękka
common.buy 959.00 zł
Changing Minds Guy Newland / Książka Miękka
common.buy 140.30 zł
Punch, or the London Charivari Owen Seaman / Książka Miękka
common.buy 70.05 zł
Thirsty Crow Jim Chansler / Książka Miękka
common.buy 49.07 zł
New Hemi Engine Swaps: Joe Hinds / Książka Miękka
common.buy 143.11 zł
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Książka Miękka
common.buy 60.11 zł
Survivors Alex Schulman / Książka Miękka
common.buy 74.76 zł
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Książka Miękka
common.buy 66.03 zł
The Progress of Marine Engineering Thomas Main / Książka Miękka
common.buy 87.21 zł
Rainbow Valley Lucy Maud Montgomery / Książka Miękka
common.buy 66.73 zł
Unionists in the Heart of Dixie GLENDA MCWHIRT TODD / Książka Miękka
common.buy 126.35 zł
Those Who Call Themselves Jews Philip L Mayo / Książka Twarda
common.buy 176.94 zł
God's Boundary Sunday Okoh / Książka Miękka
common.buy 64.83 zł
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Książka Miękka
common.buy 130.17 zł
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Książka Twarda
common.buy 397.15 zł
Wolverhampton and Dudley, Stourbridge and Kidderminster Ordnance Survey / Prasa Mapa
common.buy 59.21 zł
Phonons: Theory and Experiments II Peter Brüesch / Książka Miękka
common.buy 218.99 zł
Introduction to Quantitative Finance Stephen Blyth / Książka Miękka
common.buy 268.78 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?