0
Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

From Sets and Types to Topology and Analysis - Towards practicable foundations for constructive mathematics (Hardcover) Loot Price: R6,166
Discovery Miles 61 660
You Save: R420 (6%)
From Sets and Types to Topology and Analysis - Towards practicable foundations for constructive mathematics (Hardcover): Laura...

From Sets and Types to Topology and Analysis - Towards practicable foundations for constructive mathematics (Hardcover)

Laura Crosilla, Peter Schuster

Series: Oxford Logic Guides, 48

 (sign in to rate)
Was R6,586 Loot Price R6,166 Discovery Miles 61 660 | Repayment Terms: R578 pm x 12* You Save R420 (6%)

Bookmark and Share

Expected to ship within 12 - 17 working days

This edited collection bridges the foundations and practice of constructive mathematics and focusses on the contrast between the theoretical developments, which have been most useful for computer science (eg constructive set and type theories), and more specific efforts on constructive analysis, algebra and topology. Aimed at academic logicians, mathematicians, philosophers and computer scientists Including, with contributions from leading researchers, it is up-to-date, highly topical and broad in scope. This is the latest volume in the Oxford Logic Guides, which also includes: 41. J.M. Dunn and G. Hardegree: Algebraic Methods in Philosophical Logic 42. H. Rott: Change, Choice and Inference: A study of belief revision and nonmonotoic reasoning 43. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 1 44. Johnstone: Sketches of an Elephant: A topos theory compendium, volume 2 45. David J. Pym and Eike Ritter: Reductive Logic and Proof Search: Proof theory, semantics and control 46. D.M. Gabbay and L. Maksimova: Interpolation and Definability: Modal and Intuitionistic Logics 47. John L. Bell: Set Theory: Boolean-valued models and independence proofs, third edition

General

Imprint: Clarendon Press
Country of origin: United Kingdom
Series: Oxford Logic Guides, 48
Release date: October 2005
First published: December 2005
Editors: Laura Crosilla • Peter Schuster
Dimensions: 242 x 162 x 26mm (L x W x T)
Format: Hardcover
Pages: 372
ISBN-13: 978-0-19-856651-9
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 0-19-856651-4
Barcode: 9780198566519

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Principia Mathematica
Russell Bertrand Russell Hardcover R1,248 Discovery Miles 12 480
Principia Mathematica
Russell Bertrand Russell Hardcover R1,287 Discovery Miles 12 870
Logic from Russell to Church, Volume 5
Dov M. Gabbay, John Woods Hardcover R5,472 Discovery Miles 54 720
Elementary Lessons in Logic - Deductive…
William Stanley Jevons Paperback R560 Discovery Miles 5 600
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
R355 R290 Discovery Miles 2 900
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R407 Discovery Miles 4 070
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R78 Discovery Miles 780
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R507 Discovery Miles 5 070
Mathematical Proofs: A Transition to…
Gary Chartrand, Albert Polimeni, … Paperback R2,288 Discovery Miles 22 880
Algebras, Lattices, Varieties - Volume…
Ralph S Freese, Ralph N. McKenzie, … Paperback R3,155 Discovery Miles 31 550
Theory and Applications of…
Florentin Smarandache, Madeline Al-Tahan Hardcover R7,372 Discovery Miles 73 720
The Scientific Art of Logic
Edward D Simmons Hardcover R1,407 R1,147 Discovery Miles 11 470

See more

Partners