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 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €
phone Contacto phoneComo comprar

Implementing Mathematics with The Nuprl Proof Development System

Língua InglêsInglês
Livro Capa mole
Livro Implementing Mathematics with The Nuprl Proof Development System R L Constable
Código Libristo: 17068327
Editoras Createspace Independent Publishing Platform, janeiro 2012
Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as...
? points 27 b
11.03 €
Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Estrategias de Sistemas OBD-2 Mandy Concepcion / Livro Capa mole
common.buy 23.99 €
Servidor William Rodriguez / Livro Capa mole
common.buy 7.99 €
Zao wou-ki les estampes (1937-1974) <<<<< Livro Livro
common.buy 27.34 €
Heimerziehung als Teil des Handlungsfeldes Kinder- und Jugendhilfe. Geschichte, Struktur und erforderliche Kompetenzen der Fachkräfte Jessica Johnsen / Livro Capa mole
common.buy 14.27 €
A BRUXA SELANA XABIER DOMINGUEZ / Livro Livro de capa dura
common.buy 13.36 €
Boszorkánykirály Martha Wells / Livro Livro de capa dura
common.buy 11.03 €
Reflexzonenarbeit am Fuß Hanne Marquardt / Livro Livro de capa dura
common.buy 29.46 €
Maigret als möblierter Herr Walter Kreye / Áudio CD de áudio
common.buy 15.79 €
bonae fidei possessio oder das Recht des Besitzes Friedrich Wilhelm Tigerstrom / Livro Livro de capa dura
common.buy 97.93 €
Erritas agridulces Jose Prats Sariol / Livro Capa mole
common.buy 11.94 €
Bob Dylan Live 1975: Bootleg Series Vol.5 Bob Dylan / Áudio CD de áudio
common.buy 18.93 €
Anthropologie des Apostels Paulus Hermann Lüdemann / Livro Capa mole
common.buy 17.41 €
Torwege zum Jetzt, 1 Audio-CD Eckhart Tolle / Áudio CD de áudio
common.buy 13.16 €
Überfallkommando Edgar Wallace / Livro Capa mole
common.buy 6.47 €
Auf Dem Weg Zur Biomachtigen Gesellschaft? Achim Bühl / Livro Capa mole
common.buy 69.67 €

Four goals of the book: Offer a tutorial on mathematical ideas which underlie our research Serve as a manual for users of the Nuprl system Give an overview of the project for those interested in applications of the results and fo

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 Implementing Mathematics with The Nuprl Proof Development System
Autor R L Constable
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 310
EAN 9781468059106
ISBN 1468059106
Código Libristo 17068327
Editoras Createspace Independent Publishing Platform
Peso 417
Dimensões 152 x 229 x 17

Categorias

Matemática & ciência > Matemática > Fundamentos da matemática > Lógica matemá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

Explosive Percolation in Random Networks Wei Chen / Livro Capa mole
common.buy 99.15 €
Grant's Heat Victoria Blue / Livro Capa mole
common.buy 13.26 €
Chemistry Concepts Coloring Book Lauren Mccarthy / Livro Capa mole
common.buy 11.03 €
The Navy Blue Angels: In Action - A Regional View Delores Witkowski / Livro Capa mole
common.buy 13.36 €
Public Opinion In War And Peace Abbott Lawrence Lowell / Livro Livro de capa dura
common.buy 39.19 €
The Book of The Garden Richard Wehrman / Livro Capa mole
common.buy 12.65 €
Get Funded: An Insider's Guide to Building An Academic Research Program Robert J. Trew / Livro Livro de capa dura
common.buy 73.12 €
Dress and Cultural Identity in the Rhine-Moselle Region of the Roman Empire Ursula Rothe / Livro Capa mole
common.buy 69.88 €
Power of the Universe Lies Within You Pradipta Kumar Das / Livro Livro de capa dura
common.buy 21.77 €
Confederate Military History General Clement a. Evans / Livro Livro de capa dura
common.buy 35.64 €
Slope Stability and Erosion Control: Ecotechnological Solutions Joanne E. Norris / Livro Livro de capa dura
common.buy 152.12 €
Receptor Signal Transduction Protocols Gary B. Willars / Livro Livro de capa dura
common.buy 99.15 €
Introduction To Differential Equations, An: Stochastic Modeling, Methods And Analysis (Volume 2) Anil G Lade / Livro Capa mole
common.buy 71.60 €
Nothing Sticks Like a Shadow Ann Tompert / Livro Capa mole
common.buy 6.88 €
History Of The War Of The Independence Of The United States Of America V2 (1845) Charles Botta / Livro Capa mole
common.buy 34.32 €
Handbook of Cost Management 2e Roman L. Weil / Livro Livro de capa dura
common.buy 138.34 €
Eight Keys to an Extraordinary Board-Superintendent Partnership Doug Eadie / Livro Capa mole
common.buy 50.12 €
Folk Horror Dawn Keetley / Livro Capa mole
common.buy 31.19 €

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?