k-Provability in PA - NOVA Math

Skip to content

CENTER
RESEARCH
OPPORTUNITIES
EVENTS
TRAINING
- PhD Programme
- Advanced Courses
SOCIETY
- Knowledge Transfer
- Outreach
MEDIA
- News
- In Press
CONTACTS
LOGIN

CENTER
RESEARCH
OPPORTUNITIES
EVENTS
TRAINING
- PhD Programme
- Advanced Courses
SOCIETY
- Knowledge Transfer
- Outreach
MEDIA
- News
- In Press
CONTACTS
LOGIN

k-Provability in PA

NOVA Math > NOVA Math > NOVA Math Publications > k-Provability in PA

NOVA Math Publications

Algebra and Logic

Article
Santos,PG;Kahle,R
LOGICA UNIVERSALIS

2021
15
4
477-516
10.1007/s11787-021-00278-1

Tags : Algebra and Logic

Post navigation

Learning Biomedical Networks: Toward Data-Informed Clinical Decision and Therapy

Isolated and structured families of models for stochastic symmetric matrices

Departamento de Matemática
Faculdade de Ciências e Tecnologia
Universidade Nova de Lisboa
Campus de Caparica
2829-516 Caparica
PORTUGAL

Contacts

(+351) 212 948 388
novamath.secretariado@fct.unl.pt
Monday-Friday 9:00 - 17:00

Links

Cookies Policy
Privacy Policy

Search for:

© Copyright 2023 - All Rights Reserved