Cargando…
Algebra of proofs
| Autores principales: | , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Elsevier Science
2016
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2295825 |
| _version_ | 1780956739034677248 |
|---|---|
| author | Szabo, M E Barwise, K J Kaplan, D Keisler, H J |
| author_facet | Szabo, M E Barwise, K J Kaplan, D Keisler, H J |
| author_sort | Szabo, M E |
| collection | CERN |
| id | cern-2295825 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2016 |
| publisher | Elsevier Science |
| record_format | invenio |
| spelling | cern-22958252021-04-21T18:59:49Zhttp://cds.cern.ch/record/2295825engSzabo, M EBarwise, K JKaplan, DKeisler, H JAlgebra of proofsMathematical Physics and MathematicsElsevier Scienceoai:cds.cern.ch:22958252016 |
| spellingShingle | Mathematical Physics and Mathematics Szabo, M E Barwise, K J Kaplan, D Keisler, H J Algebra of proofs |
| title | Algebra of proofs |
| title_full | Algebra of proofs |
| title_fullStr | Algebra of proofs |
| title_full_unstemmed | Algebra of proofs |
| title_short | Algebra of proofs |
| title_sort | algebra of proofs |
| topic | Mathematical Physics and Mathematics |
| url | http://cds.cern.ch/record/2295825 |
| work_keys_str_mv | AT szabome algebraofproofs AT barwisekj algebraofproofs AT kapland algebraofproofs AT keislerhj algebraofproofs |