LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Practical Foundations of Mathematics

Language EnglishEnglish
Book Hardback
Book Practical Foundations of Mathematics Paul Taylor
Libristo code: 02038251
Publishers Cambridge University Press, May 1999
Practical Foundations collects the methods of construction of the objects of twentieth-century mathe... Full description
? points 549 b
82 600 Ft
In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns


Customers also purchased


COMPRENDRE LES ADOLESCENTS TESSIER Book Paperback
common.buy 4 605 Ft
Contrapaso. Los hijos de los otros TERESA VALERO / Book Paperback
common.buy 8 972 Ft
Top Coming soon
Hunting Adeline Madlen Müller / Book Hardback
common.buy 12 480 Ft
Ucieczka w dzicz. Wojownicy wyd. 2 Erin Hunter / Book Paperback
common.buy 3 945 Ft
ALGUNOS MAESTROS Y TODA LA VERDAD DANIEL TORRES / Book Hardback
common.buy 17 958 Ft
Flow Nummer 82 (4/2024) Deutsche Medien-Manufaktur GmbH & Co. KG / Book Paperback
common.buy 3 010 Ft
Orar es hablar con quien nos ama : experiencias de su oración Santa Teresa de Jesús - Santa - / Book Paperback
common.buy 7 197 Ft
Cuba El Legado de Fidel Castro Miguel Sanfiel / Book Paperback
common.buy 5 706 Ft
SERIES DE FOURIER Y ECUACIONES EN DERIVADAS PARCIALES RODRIGO LOPEZ POUSO / Book Hardback
common.buy 9 214 Ft
Distruggimi Chiara Cilli / Book Paperback
common.buy 5 241 Ft
Living in Faith - Jonah Korean Sung Ho Lee / Book Paperback
common.buy 3 086 Ft
Junge Dichter und Denker - Grundrechenarten 1, 1 Audio-CD Junge Dichter und Denker / Audio Audio CD
common.buy 5 782 Ft

Practical Foundations collects the methods of construction of the objects of twentieth-century mathematics. Although it is mainly concerned with a framework essentially equivalent to intuitionistic Zermelo-Fraenkel logic, the book looks forward to more subtle bases in categorical type theory and the machine representation of mathematics. Each idea is illustrated by wide-ranging examples, and followed critically along its natural path, transcending disciplinary boundaries between universal algebra, type theory, category theory, set theory, sheaf theory, topology and programming. Students and teachers of computing, mathematics and philosophy will find this book both readable and of lasting value as a reference work.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Practical Foundations of Mathematics
Author Paul Taylor
Language English
Binding Book - Hardback
Date of issue 1999
Number of pages 588
EAN 9780521631075
ISBN 0521631076
Libristo code 02038251
Weight 880
Dimensions 157 x 236 x 35
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Natural Language Parsing David R. DowtyLauri KarttunenArnold M. Zwicky / Book Paperback
common.buy 29 280 Ft
Politics of Prostitution Joyce Outshoorn / Book Hardback
common.buy 52 175 Ft
Translations into Greek and Latin Verse Richard Claverhouse Jebb / Book Paperback
common.buy 15 205 Ft
Learning Einstein Analytics santosh chitalkar / Book Paperback
common.buy 22 084 Ft
My Best Pop-Up Space Bookp Space Book Clare Lloyd / Book Hardback
common.buy 5 151 Ft
Introduction to Logic Kant / Book Paperback
common.buy 3 973 Ft
Lute in the Dutch Golden Age Jan W. J. Burgers / Book Hardback
common.buy 77 824 Ft
Antony and Hero Ferdinant P Simon / Book Paperback
common.buy 5 013 Ft
Spirit Song: Cape of the Red Jaguar Sherry Janes / Book Paperback
common.buy 7 253 Ft
Surveying Instruments; Their Design, Construction, Testing & Adjustment Robert Morrison B. 1879 Abraham / Book Paperback
common.buy 9 437 Ft
No Bones About It Nancy E. Krulik / Book Paperback
common.buy 2 573 Ft
Fossil Whisperers Herb Hicks / Book Hardback
common.buy 10 747 Ft
Death and Social Policy in Challenging Times Kate Woodthorpe / Book Paperback
common.buy 21 889 Ft
Taxation in the United States 1789-1816 Henry Carter Adams / Book Paperback
common.buy 5 013 Ft
Citizens' Activism and Solidarity Movements Anna Krasteva / Book Paperback
common.buy 71 278 Ft
The Complete Prose Works of Walt Whitman Whitman Walt Former Owner / Book Paperback
common.buy 17 612 Ft
On Yuan Chwang's Travels In India V2 Thomas Watters / Book Paperback
common.buy 13 534 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?