Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €
phone Contacto phoneComo comprar

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

Língua InglêsInglês
Livro Capa mole
Livro Logic and Computer Science Steven Homer
Código Libristo: 01565309
Editoras Springer, Berlin, novembro 2007
The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderl... Descrição completa
? points 56 b
23.18 €
Armazenamento externo Envio em 5-8 dias

Política de devolução de 30 dias

Os clientes também compraram

Journal of Approximation Theory and Applied Mathematics - 2014 Vol. 3 Marco Schuchmann / Livro Capa mole
common.buy 7.28 €
VOYAGE Daniele Steel / Livro Capa mole
common.buy 10.42 €
Китайская мифология: обитатели небес, духи местности и демоны Анна Старостина / Livro Livro de capa dura
common.buy 31.19 €
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 3.23 €
Saint Grégoire de Nazianze Alain Durel / Livro Capa mole
common.buy 11.33 €
Lehr- und Handbuch der politischen OEkonomie in einzelnen selbstandigen Abteilungen Adolph Wagner / Livro Capa mole
common.buy 31.49 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Logic and Computer Science
Autor Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2008
Número de páginas 170
EAN 9783540527343
ISBN 3540527346
Código Libristo 01565309
Editoras Springer, Berlin
Peso 275
Dimensões 157 x 237 x 10

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemática
Informática & tecnologia da informação > Ciência informática > Teoria matemática da informática
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Aquaculture Science and Engineering Balamuralikrishnan Balasubramanian / Livro Capa mole
common.buy 201.95 €
Changing Minds Guy Newland / Livro Capa mole
common.buy 27.44 €
Punch, or the London Charivari Owen Seaman / Livro Capa mole
common.buy 14.07 €
Thirsty Crow Jim Chansler / Livro Capa mole
common.buy 9.61 €
New Hemi Engine Swaps: Joe Hinds / Livro Capa mole
common.buy 29.26 €
The Paperboys Club (A Paranormal Thriller of Crime and Suspense) Thomas Fincham / Livro Capa mole
common.buy 12.04 €
Survivors Alex Schulman / Livro Capa mole
common.buy 15.79 €
Mystic Test Book, or the Magic of the Cards Olney H. Richmond / Livro Capa mole
common.buy 13.36 €
The Progress of Marine Engineering Thomas Main / Livro Capa mole
common.buy 18.22 €
Rainbow Valley Lucy Maud Montgomery / Livro Capa mole
common.buy 13.36 €
Unionists in the Heart of Dixie GLENDA MCWHIRT TODD / Livro Capa mole
common.buy 25.51 €
Those Who Call Themselves Jews Philip L Mayo / Livro Livro de capa dura
common.buy 38.98 €
God's Boundary Sunday Okoh / Livro Capa mole
common.buy 13.16 €
The Claims Of Labor: An Essay On The Duties Of The Employers To The Employed (1845) Arthur Helps / Livro Capa mole
common.buy 26.22 €
Pediatric and Adolescent Gynecology, An Issue of Obstetrics and Gynecology Clinics S. Paige Hertweck / Livro Livro de capa dura
common.buy 80.61 €
Wolverhampton and Dudley, Stourbridge and Kidderminster Ordnance Survey / Artigos impressos Mapa
common.buy 12.04 €
Phonons: Theory and Experiments II Peter Brüesch / Livro Capa mole
common.buy 46.07 €
Introduction to Quantitative Finance Stephen Blyth / Livro Capa mole
common.buy 55.39 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo
Conselheiro de livros Libroamiko
Olá, sou o Libroamiko, posso ajudar?