Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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

Limba englezăengleză
Carte Carte broșată
Carte Logic and Computer Science Steven Homer
Codul Libristo: 01565309
Editura Springer, Berlin, noiembrie 2007
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Descrierea completă
? points 66 b
143.76 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann / Carte Carte broșată
common.buy 45.76 lei
VOYAGE Daniele Steel / Carte Carte broșată
common.buy 65.98 lei
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Carte Copertă tare
common.buy 173.47 lei
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 20.21 lei
Saint Grégoire de Nazianze Alain Durel / Carte Carte broșată
common.buy 71.61 lei
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Carte Carte broșată
common.buy 198.39 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Logic and Computer Science
Autor Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Limba engleză
Legare Carte - Carte broșată
Data publicării 2008
Număr pagini 170
EAN 9783540527343
ISBN 3540527346
Codul Libristo 01565309
Editura Springer, Berlin
Greutatea 275
Dimensiuni 157 x 237 x 10

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Carte Carte broșată
common.buy 1 252.93 lei
Changing Minds Guy Newland / Carte Carte broșată
common.buy 183.89 lei
Punch, or the London Charivari Owen Seaman / Carte Carte broșată
common.buy 91.01 lei
Thirsty Crow Jim Chansler / Carte Carte broșată
common.buy 64.21 lei
New Hemi Engine Swaps: Joe Hinds / Carte Carte broșată
common.buy 189.11 lei
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Carte Carte broșată
common.buy 78.39 lei
Survivors Alex Schulman / Carte Carte broșată
common.buy 92.67 lei
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Carte Carte broșată
common.buy 85.79 lei
The Progress of Marine Engineering Thomas Main / Carte Carte broșată
common.buy 114.36 lei
Rainbow Valley Lucy Maud Montgomery / Carte Carte broșată
common.buy 87.04 lei
Unionists in the Heart of Dixie GLENDA MCWHIRT TODD / Carte Carte broșată
common.buy 164.09 lei
Those Who Call Themselves Jews Philip L Mayo / Carte Copertă tare
common.buy 234.04 lei
God's Boundary Sunday Okoh / Carte Carte broșată
common.buy 84.23 lei
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Carte Carte broșată
common.buy 169.09 lei
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Carte Copertă tare
common.buy 492.39 lei
Wolverhampton and Dudley, Stourbridge and Kidderminster Ordnance Survey / Materiale tipărite Hartă
common.buy 77.97 lei
Phonons: Theory and Experiments II Peter Brüesch / Carte Carte broșată
common.buy 285.96 lei
Introduction to Quantitative Finance Stephen Blyth / Carte Carte broșată
common.buy 347.16 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?