Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology

Barcode: 09783031146497
Brand: Springer International Publishing
Best Priced
sold by Hive Books
Hive Books
£38.24
Visit Store
Hive Books
Hive Books
£38.24
Free
Amazon UK
Amazon UK
Search
eBay UK
eBay UK
Search
Our site contains affiliate links, and we may earn a commission for purchases made through these links at no extra cost to you.This helps support our work in bringing you the best price comparisons.

More From Springer International Publishing

Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference
Distributed Computing and Artificial Intelligence, Special Sessions, 17th International Conference
from £76.08
Architecture and Interaction : Human Computer Interaction in Space and Place
Architecture and Interaction : Human Computer Interaction in Space and Place
from £76.08
Biologics for the Treatment of Rheumatoid Arthritis
Biologics for the Treatment of Rheumatoid Arthritis
from £38.24
Engineering, Poverty, and the Earth
Engineering, Poverty, and the Earth
from £21.24
Arduino Microcontroller Processing for Everyone!
Arduino Microcontroller Processing for Everyone!
from £84.99
Introduction to Embedded Systems : Using ANSI C and the Arduino Development Environment
Introduction to Embedded Systems : Using ANSI C and the Arduino Development Environment
from £42.49
The Integrated Test Analysis Process for Structural Dynamic Systems
The Integrated Test Analysis Process for Structural Dynamic Systems
from £38.24
Microcontroller Programming and Interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994 : Part I & II
Microcontroller Programming and Interfacing with Texas Instruments MSP430FR2433 and MSP430FR5994 : Part I & II
from £59.49
Fundamentals of Electronics : Book 2 AmplifiersAnalysis and Design
Fundamentals of Electronics : Book 2 AmplifiersAnalysis and Design
from £38.24
Pragmatic Electrical Engineering : Fundamentals
Pragmatic Electrical Engineering : Fundamentals
from £23.79
Designing Asynchronous Circuits using NULL Convention Logic (NCL)
Designing Asynchronous Circuits using NULL Convention Logic (NCL)
from £21.24
Network Simulation
Network Simulation
from £23.79
Engineering and Sustainable Community Development
Engineering and Sustainable Community Development
from £23.79
PSpice for Digital Signal Processing
PSpice for Digital Signal Processing
from £29.74
Pragmatic Circuits : Signals and Filters
Pragmatic Circuits : Signals and Filters
from £25.49
Embedded Systems Design with the Texas Instruments MSP432 32-bit Processor
Embedded Systems Design with the Texas Instruments MSP432 32-bit Processor
from £38.24
Introduction to Noise-Resilient Computing
Introduction to Noise-Resilient Computing
from £23.79
Atmel AVR Microcontroller Primer : Programming and Interfacing, Second Edition
Atmel AVR Microcontroller Primer : Programming and Interfacing, Second Edition
from £76.49
Developing Embedded Software using DaVinci and OMAP Technology
Developing Embedded Software using DaVinci and OMAP Technology
from £23.79
Pragmatic Logic
Pragmatic Logic
from £21.24

Price History

Excluding delivery costs, shows the lowest price over time.

Other Products You Might Like

Advanced Lessons in Artificial Intelligence: A Technical Novel and a Readable Primer : A Technical Novel and Primer
Advanced Lessons in Artificial Intelligence: A Technical Novel and a Readable Primer : A Technical Novel and Primer
from £2.79
Takeaways from Teaching through a Pandemic : Practical Examples of Lasting Value in Tertiary Mathematics Education
Takeaways from Teaching through a Pandemic : Practical Examples of Lasting Value in Tertiary Mathematics Education
from £44.99
Takeaways from Teaching through a Pandemic : Practical Examples of Lasting Value in Tertiary Mathematics Education
Takeaways from Teaching through a Pandemic : Practical Examples of Lasting Value in Tertiary Mathematics Education
from £44.99
Collaboration in Teacher Education : Examples from the Context of Mathematics Education
Collaboration in Teacher Education : Examples from the Context of Mathematics Education
from £76.08
The Lean Anthology : A Practical Primer in Continual Improvement
The Lean Anthology : A Practical Primer in Continual Improvement
from £23.39
The Lean Anthology : A Practical Primer in Continual Improvement
The Lean Anthology : A Practical Primer in Continual Improvement
from £23.39
From Human to Post Human Security in Latin America : Examples and Reflections from Across the Region
From Human to Post Human Security in Latin America : Examples and Reflections from Across the Region
from £49.65
From Human to Post Human Security in Latin America : Examples and Reflections from Across the Region
From Human to Post Human Security in Latin America : Examples and Reflections from Across the Region
from £55.19
From Human to Post Human Security in Latin America : Examples and Reflections from Across the Region
From Human to Post Human Security in Latin America : Examples and Reflections from Across the Region
from £55.19
From beliefs to dynamic affect systems in mathematics education : Exploring a mosaic of relationships and interactions
From beliefs to dynamic affect systems in mathematics education : Exploring a mosaic of relationships and interactions
from £76.08
Agent-Based Business Process Simulation : A Primer with Applications and Examples
Agent-Based Business Process Simulation : A Primer with Applications and Examples
from £84.58
Exploring Dark Short Fiction #3: A Primer to Nisi Shawl
Exploring Dark Short Fiction #3: A Primer to Nisi Shawl
from £3.39
Experimental Human-Computer Interaction : A Practical Guide with Visual Examples
Experimental Human-Computer Interaction : A Practical Guide with Visual Examples
from £24.75
Experimental Human-Computer Interaction : A Practical Guide with Visual Examples
Experimental Human-Computer Interaction : A Practical Guide with Visual Examples
from £21.24
Experimental Human-Computer Interaction : A Practical Guide with Visual Examples
Experimental Human-Computer Interaction : A Practical Guide with Visual Examples
from £21.24
The Measurement of Productivity : A Primer With Examples for Small, Businesses or Corporate Divisions
The Measurement of Productivity : A Primer With Examples for Small, Businesses or Corporate Divisions
from £4.97
Exploring non-human work in tourism : From beasts of burden to animal ambassadors
Exploring non-human work in tourism : From beasts of burden to animal ambassadors
from £71.25
Exploring non-human work in tourism : From beasts of burden to animal ambassadors
Exploring non-human work in tourism : From beasts of burden to animal ambassadors
from £71.25
From Newton to Mandelbrot : A Primer in Theoretical Physics
From Newton to Mandelbrot : A Primer in Theoretical Physics
from £61.20
From Persons to People : A Second Primer in Demography
From Persons to People : A Second Primer in Demography
from £39.59