Natural Deduction for Diagonal Operators (English)
- New search for: Lampert, Fabio
- New search for: Lampert, Fabio
In:
Research in History and Philosophy of Mathematics
;
39-51
;
2017
- Article/Chapter (Book) / Electronic Resource
-
Title:Natural Deduction for Diagonal Operators
-
Contributors:Lampert, Fabio ( author )
-
Published in:
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2017-01-01
-
Size:13 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Bolzano Against Kant’s Pure IntuitionAnh McEldowney, Paul et al. | 2017
- 19
-
Poincaré on the Foundation of Geometry in the UnderstandingShipley, Jeremy et al. | 2017
- 39
-
Natural Deduction for Diagonal OperatorsLampert, Fabio et al. | 2017
- 53
-
What is a Symbol?Allen, Valerie et al. | 2017
- 67
-
Polar Ordinates in Bernoulli and L’HôpitalBradley, Robert E. et al. | 2017
- 81
-
Magic Squares of Subtraction of Adam Adamandy KochańskiFukś, Henryk et al. | 2017
- 97
-
Euler’s E228: Primality Testing and Factoring via Sums of SquaresRickey, V. et al. | 2017
- 117
-
“A Most Elegant Property”: On the Early History of Lexell’s TheoremAtzema, Eisso J. et al. | 2017
- 133
-
The Misnamings of Playfair’s AxiomAckerberg-Hastings, Amy et al. | 2017
- 149
-
Napier, Torporley, Menelaus, and Ptolemy: Delambre and De Morgan’s Observations on Seventeenth-Century Restructuring of Spherical TrigonometrySilverberg, Joel S. et al. | 2017
- 169
-
The Reception of American Mathematics Education in Soviet Pedagogical Journals of the 1960s and 1970sBoyko, Mariya et al. | 2017
- 181
-
Mathematics in Library Subject Classification SystemsFraser, Craig et al. | 2017
- 199
-
The Convolution as a Mathematical ObjectGodard, Roger et al. | 2017
- 213
-
Sundials–Une Promenade Parisienne (A Math Walk in Paris)Heine, George et al. | 2017