Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
An extended predicative definition of the Mahlo universe
Publication date:
2010
Citation:
KS10
Abstract:
-
Book chapter
Authors:
Reinhard Kahle
, Anton Setzer
Editors:
Ralf Schindler
Book title:
Ways of Proof Theory
Series:
Mathematical Logic
Publisher:
Ontos Verlag
Address:
-
Volume:
-
Pages:
315-340
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Reinhard Kahle and Anton Setzer, An extended predicative definition of the Mahlo universe, in: Ralf Schindler (eds), Ways of Proof Theory, Mathematical Logic, Ontos Verlag, Pag. 315-340, 2010.
HTML:
<a href="/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542" class="author">Reinhard Kahle</a> and Anton Setzer, <b>An extended predicative definition of the Mahlo universe</b>, in: Ralf Schindler (eds), <u>Ways of Proof Theory</u>, Mathematical Logic, Ontos Verlag, Pag. 315-340, 2010.
BibTeX:
@incollection {KS10, author = {Reinhard Kahle and Anton Setzer}, editor = {Ralf Schindler}, title = {An extended predicative definition of the Mahlo universe}, booktitle = {Ways of Proof Theory}, series = {Mathematical Logic}, publisher = {Ontos Verlag}, pages = {315-340}, year = {2010}, }
Publication's urls
Full url:
/publications/view.php?code=b48002456101eb55fa199b5ab82951fc
Friendly url:
/publications/view.php?code=KS10
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541