Star Origami : The Starrygami(TM) Galaxy of Modular Origami Stars, Rings and Wreaths
Tung Ken Lam
Download - Immediately Available
Format: eBook (EPUB)
Authorization and Access Control : Foundations, Frameworks, and Applications
Parikshit N. Mahalle
Download - Immediately Available
Format: eBook (PDF)
Authorization and Access Control : Foundations, Frameworks, and Applications
Parikshit N. Mahalle
Download - Immediately Available
Format: eBook (EPUB)
Theoretical Computer Science for the Working Category Theorist
Noson S. Yanofsky
Download - Immediately Available
Format: eBook (PDF)
Mathematical Logic through Python
Yannai A. Gonczarowski
Download - Immediately Available
Format: eBook (PDF)
Godel's Incompleteness Theorems
Juliette Kennedy
Download - Immediately Available
Format: eBook (EPUB)
Higher-Order Logic and Type Theory
John L. Bell
Download - Immediately Available
Format: eBook (PDF)
Godel's Incompleteness Theorems
Juliette Kennedy
Download - Immediately Available
Format: eBook (PDF)
Mathematical Intelligence : What We Have that Machines Don't
Junaid Mubeen
Download - Immediately Available
Format: eBook (EPUB)
Non-commutative Multiple-Valued Logic Algebras
Lavinia Corina Ciungu
Download - Immediately Available
Format: eBook (PDF)
Exploring Formalisation : A Primer in Human-Readable Mathematics in Lean 3 with Examples from Simplicial Topology
Clara Loh
Download - Immediately Available
Format: eBook (PDF)
Decidable Theories : Vol. 1: Buchi`s Monadic Second Order Successor Arithmetic
Dirk Siefkes
Download - Immediately Available
Format: eBook (PDF)
The Axiom of Constructibility : A Guide for the Mathematician
K. J. Devlin
Download - Immediately Available
Format: eBook (PDF)
Recursion on the Countable Functionals
D. Normann
Download - Immediately Available
Format: eBook (PDF)
Set Theory and Model Theory : Proceedings of an Informal Symposium Held at Bonn, June 1-3, 1979
R.B. Jensen
Download - Immediately Available
Format: eBook (PDF)
Categories of Boolean Sheaves of Simple Algebras
Yves Diers
Download - Immediately Available
Format: eBook (PDF)
The Enumerative Theory of Conics after Halphen
Eduardo Casas-Alvero
Download - Immediately Available
Format: eBook (PDF)
Classification of Irregular Varieties : Minimal Models and Abelian Varieties. Proceedings of a Conference held in Trento, Italy, 17-21 December, 1990
Edoardo Ballico
Download - Immediately Available
Format: eBook (PDF)
Interpolation Functors and Duality
Sten G. Kaijser
Download - Immediately Available
Format: eBook (PDF)
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
Steven Homer
Download - Immediately Available
Format: eBook (PDF)