Incompleteness for Higher-Order Arithmetic

Type:

e-book

Titel:

Incompleteness for Higher-Order Arithmetic

Auteur:

Cheng

Taal:

Engels

Uitgever:

Springer Singapore 2019

ISBN:

981-13-9948-4
981-13-9949-2

Permalink:

http://bibtest.howest.be/catalog/ebk03:4100000009451873