Some Remarks about Normal Rings

&
In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 141-150 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1515/9781501502620-008

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Some Historical, Philosophical and Methodological Remarks on Proof in Mathematics.Roman Murawski - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 251-268.
Remarks on Barr’s Theorem: Proofs in Geometric Theories.Michael Rathjen - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 347-374.
A General View on Normal Form Theorems for Łukasiewicz Logic with Product.Ioana Leuştean & Serafina Lapenta - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 215-228.
Proof-Oriented Categorical Semantics.Marco Benini - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 41-68.
Introduction.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 1-4.
Frontmatter.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter.
Contents.Peter Schuster & Dieter Probst - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter.
On Sets of Premises.Kosta Došen - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 151-162.
Theories of Proof-Theoretic Strength Ψ.Thomas Strahm, Gerhard Jäger & Ulrik Buchholtz - 2016 - In Peter Schuster & Dieter Probst (eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science. Boston: De Gruyter. pp. 115-140.

Analytics

Added to PP
2016-07-30

Downloads
18 (#1,111,327)

6 months
2 (#1,685,557)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Henri Lombardi
Université de Franche-Comté
Thierry Coquand

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references