Strahm, Thomas
(2010).
Weak theories of operations and types.
In:
Schindler, Ralf
(ed.)
Ways of Proof Theory. Ontos mathematical logic: Vol. 2 (pp. 441-468).
Heusenstamm bei Frankfurt: Ontos
Full text not available from this repository.
Interest & Impact
Downloads
0 since deposited on 04 Oct 2013
0 in the past 12 months
Citations
5 Citations in Web of Science ®
6 Citations in Scopus
Search
in Google Scholar™
Services
Actions (login required)
 |
Edit item |
Item Type: |
Book Section
(Book Chapter)
|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) |
UniBE Contributor: |
Strahm, Thomas Adrian |
Series: |
Ontos mathematical logic |
Publisher: |
Ontos |
Language: |
English |
Submitter: |
Factscience Import
|
Date Deposited: |
04 Oct 2013 14:17 |
Last Modified: |
05 Dec 2022 14:04 |
URI: |
https://boris.unibe.ch/id/eprint/4978 (FactScience: 209642) |
|
|
|
|
Actions (login required)
|
Edit item |
