61
Published 2003
Springer US
Table of Contents: ...Truth-Table Complete Computably Enumerable Sets -- Completeness and Universality of Arithmetical...

62
by Gauthier, Yvon
Published 2015
Birkhäuser
...Studies in Universal Logic...

63
Published 2016
Springer International Publishing
Table of Contents: ... Deduction -- Alberto Peruzzi: Category Theory and the Search for Universals: A Very Short Guide...

65
Published 2018
Springer International Publishing
...Studies in Universal Logic...

66
Published 2013
Birkhäuser
...Studies in Universal Logic...

67
Published 2014
Birkhäuser
...Studies in Universal Logic...

68
Published 2022
Birkhäuser
...Studies in Universal Logic...

69
Published 2022
Birkhäuser
...Studies in Universal Logic...

70
by Melczer, Stephen
Published 2021
Springer Nature Switzerland
... Computation, Johannes Kepler University, Linz, Austria...

71
by Kauers, Manuel, Paule, Peter
Published 2011
Springer Vienna
... Computation, Johannes Kepler University, Linz, Austria...

72
by Schreiner, Wolfgang
Published 2021
Springer International Publishing
... Computation, Johannes Kepler University, Linz, Austria...

73
Published 2007
Birkhäuser
Table of Contents: ...Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A...

74
Published 2005
Birkhäuser
Table of Contents: ...Universal Logic: Frameworks and Structures -- From Consequence Operator to Universal Logic: A...

75
by Moschovakis, Yiannis
Published 1994
Springer New York
Table of Contents: ... and universes -- Set universes -- Propositions and relativizations -- Rieger universes -- Rieger’s Theorem...

76
by Henle, James M.
Published 1986
Springer New York
Table of Contents: .... The Rationals -- 5. The Real Numbers -- 6. The Ordinals -- 7. The Cardinals -- 8. The Universe -- 9. Choice...

77
by Kusraev, A.G., Kutateladze, Semën Samsonovich
Published 1994
Springer Netherlands
Table of Contents: ... in General Topology -- 5. Infinitesimals and Subdifferentials -- 2. Boolean-Valued Analysis -- 1. Universes...

78
by Vilenkin, N.Ya
Published 1995
Birkhäuser
Table of Contents: ...1. Infinity and the universe -- 2. The mysteries of infinite sets -- 3. Remarkable functions...

79
Published 2007
Cambridge University Press
Table of Contents: ... Lipparini -- Universes in type theory part I : Inaccessibles and Mahlo / Anton Setzer -- Hausdorff-dimension...

80
by Hardin, Christopher S., Taylor, Alan D.
Published 2013
Springer International Publishing
Table of Contents: ...: Neutral and Anonymous Predictors -- 7. The Topological Setting -- 8. Universality of the μ-Predictor -- 9...