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 : slovak 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 : Hewitt, Carl;

Subjects: Mathematical foundations of Computer Science; Incompleteness of Mathematics; Foundations of Mathematics

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 : Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten ...

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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 : Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten ...

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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 : Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten ...

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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 : Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten ...

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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 : Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten ...

Subjects: ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory/D.3.1.0: Semantics; ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

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 : Coquand, Thierry; Lombardi, Henri; Neuwirth, Stefan ...

Subjects: MSC 03E10 (03F15); [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

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 : Coquand, Thierry; Lombardi, Henri; Neuwirth, Stefan ...

Subjects: MSC 03E10 (03F15); [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

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 : Coquand, Thierry; Lombardi, Henri; Neuwirth, Stefan ...

Subjects: MSC 03E10 (03F15); [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

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 : Coquand, Thierry; Lombardi, Henri; Neuwirth, Stefan ...

Subjects: MSC 03E10 (03F15); [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

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

Read More Add to Saved list