Date: 2019 / Subject: Proof theory - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Date 2019 Subject Proof theory

1. A model-theoretic approach to proof theory. (2019)

Authors:: Kotlarski, Henryk
Other Names:: Adamowicz, Zofia; Bigorajska, Teresa; Zdanowski, Konrad
Record Type:: Book
Extent:: 1 online resource (123 pages)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A transition to proof : an introduction to advanced mathematics /: an introduction to advanced mathematics. (2019)

Authors:: Nicholson, Neil R
Record Type:: Book
Extent:: 1 online resource, illustrations (black and white)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. An introduction to mathematical proofs. (2019)

Authors:: Loehr, Nicholas A
Record Type:: Book
Extent:: 1 online resource, illustrations (black and white)
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Mathesis universalis, computability and proof. (2019)

Other Names:: Centrone, Stefania; Negri, Sara, 1967-; Sarikaya, Deniz; Schuster, Peter M
Record Type:: Book
Extent:: 1 online resource
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Proof theory and algebra in logic. ([2019])

Authors:: Ono, Hiroakira
Record Type:: Book
Extent:: 1 online resource, illustrations
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗