Item request has been placed!

Item request cannot be made.

Processing Request

Search Results

Display Settings

Results per page: 10

Sort By: Relevance

Your Filters

Language : albanian Language : english Language : romanian; moldavian; moldovan Language : slovak Language : tamil Language : waray Language : welsh Format : Books Subject : [math.math-lo]mathematics [math]/logic [math.lo]

Item request has been placed!

Item request cannot be made.

Processing Request

Book

Inconsistency Robustness in Foundations ; Inconsistency Robustness in Foundations: Mathematics self proves its own formal consistency and other matters

Authors :

Subjects: Mathematical foundations of Computer Science

Source: Inconsistency Robustness ; https://hal.archives-ouvertes.fr/hal-01148293 ; Carl Hewitt, John Woods. Inconsistency Robustness, 52, College Publications, 2015, Studies in logic, 978-1-84890-159-9 ;

Read More Add to Saved list

Book

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors :

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics

Source: https://inria.hal.science/hal-00935057 ; The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013 ; https://hott.github.io/book/hott-ebook-7-g6913a1a.pdf.

Read More Add to Saved list

Book

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors :

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics

Source: https://inria.hal.science/hal-00935057 ; The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013 ; https://hott.github.io/book/hott-ebook-7-g6913a1a.pdf.

Read More Add to Saved list

Book

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors :

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics

Source: https://inria.hal.science/hal-00935057 ; The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013 ; https://hott.github.io/book/hott-ebook-7-g6913a1a.pdf.

Read More Add to Saved list

Book

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors :

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics

Source: https://inria.hal.science/hal-00935057 ; The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013 ; https://hott.github.io/book/hott-ebook-7-g6913a1a.pdf.

Read More Add to Saved list

Book

Homotopy Type Theory: Univalent Foundations of Mathematics

Authors :

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics

Source: https://inria.hal.science/hal-00935057 ; The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013 ; https://hott.github.io/book/hott-ebook-7-g6913a1a.pdf.

Read More Add to Saved list

Book

Constructive theory of ordinals

Authors :

Subjects: MSC 03E10 (03F15)

Source: Mathematics for Computation - M4C ; https://hal.science/hal-03522215 ; Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster.

Read More Add to Saved list

Book

Constructive theory of ordinals

Authors :

Subjects: MSC 03E10 (03F15)

Source: Mathematics for Computation - M4C ; https://hal.science/hal-03522215 ; Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster.

Read More Add to Saved list

Book

Constructive theory of ordinals

Authors :

Subjects: MSC 03E10 (03F15)

Source: Mathematics for Computation - M4C ; https://hal.science/hal-03522215 ; Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster.

Read More Add to Saved list

Book

Constructive theory of ordinals

Authors :

Subjects: MSC 03E10 (03F15)

Source: Mathematics for Computation - M4C ; https://hal.science/hal-03522215 ; Marco Benini; Olaf Beyersdorff; Michael Rathjen; Peter Schuster.

Read More Add to Saved list