Advances in Proof-Theoretic Semantics: Fid-Bau Portal

Advances in Proof-Theoretic Semantics

Piecha, Thomas

Abstract

Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages

Access

Download

Page navigation

Document information

Similar titles

Export, share and cite

Advances in Proof-Theoretic Semantics

Piecha, Thomas

Abstract

Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages

Advances in Proof-Theoretic Semantics

Piecha, Thomas

Abstract

Logic; Mathematical Logic and Foundations; Mathematical Logic and Formal Languages

Access

Download

Page navigation

Document information

Similar titles

Export, share and cite

Document information

Title:

Advances in Proof-Theoretic Semantics

Contributors:

Piecha, Thomas (author) / Schroeder-Heister, Peter (editor)

Published in:

Trends in Logic ; 43

Publication date:

2016

Size:

1 Online-Ressource (283 p.)

ISBN:

9783319071183

Type of media:

Book

Type of material:

Electronic Resource

Language:

English

Keywords:

Mathematics and Science , Probability & statistics , Mathematics & science , Probability and statistics

Similar titles

Advances in Proof-Theoretic Semantics

Piecha, Thomas ;Schroeder-Heister, Peter | TIBKAT | 2016

Free access

Advances in Proof-Theoretic Semantics

Piecha, Thomas | Catalogue medicine | 2016

A decision theoretic approach towards planning of proof load tests

Kapoor, Medha / Schmidt, Jacob W. / Sørensen, John D. et al. | BASE | 2019

Free access

Decision theoretic approach for identification of optimal proof load with sparse resistance information

Kapoor, Medha / Sørensen , J. D. / Ghosh, S. et al. | BASE | 2021

Free access

Decision theoretic approach for identification of optimal proof load with sparse resistance information

Kapoor, M. / Sørensen, J. D. / Ghosh, S. et al. | BASE | 2021

Free access