Search results for " 18"
showing 10 items of 4487 documents
C. Plinii Secundi opus diuinum, cui titulus Historia naturalis ...
Sig. A6, B-H8, I6, K4, a6, b-c8, a-z8, &8, A-K8. - L'obra en si de Plini va precedida de: Index in vniuersum naturalis historiae C. Plinij ... / Petrus Gratonopolitanus ..., amb port. pròpia. Són les primeres [188] p Orla xil. grav. a les dues port. - Capitals grav Port. principal a dos tintes. - Text amb postil·les marginals. - Reclams. - Errates de pag., de la p. CCCXXXIIII passa a CCCXXXIIII
Histoire naturelle de la Caroline, de la Floride, & des Îles de Bahama
Apendix Grav. calc. en f. de làm., colorats Sign.: [ ]2, b-c2, A-Gg2, [ ]1 Port. 2 tintes Text a 2 col Text paral·lel anglés i francés
Liber de proprietatibus rerum en romance : hystoria natural do se trata las p[ro]piedades d'todas las cosas ...
Sign.: A6, A-Y8, a-x8 Il·lustracions xil Port. grav. a dos tintes. - Text a dos col
Summa de exemplis ac similitudinibus rerum
1499
Sign.: AA10, a-z8, t/8, ?8, L/8, A-X8, Y10. - Data completa, 12 juliol, 1499 L. gòt. - 4 mides. - 2 col. - 48 lín. - Capll. grav. - Esp. o min. p. inic. - Filigr.: flor de lis. - Registre. - Llegendes de foli
Elementos de Historia natural y de química
Sign. : [ ]1, a-g4, A-Mmm4 Notas a peu de pàg
Iusti LipsI Politicorum sive Civilis Doctrinae libri sex ...
1599
Capll. ornades
Regiment de la cosa pública
Sign.: a-h8, i6, k4. - Data completa, 28 gener, 1499 L. gòt. - 2 mides. - 30 lín. - Inic. grav. - Tintes vermella i negra. - Filigr.: mà i estel
Are locally finite MV-algebras a variety?
2021
We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? We prove: (i) The category of locally finite MV-algebras is not equivalent to any finitary variety. (ii) More is true: the category of locally finite MV-algebras is not equivalent to any finitely-sorted finitary quasi-variety. (iii) The category of locally finite MV-algebras is equivalent to an infinitary variety; with operations of at most countable arity. (iv) The category of locally finite MV-algebras is equivalent to a countably-sorted finitary variety. Our proofs rest upon th…
The identity type weak factorisation system
2008
We show that the classifying category C(T) of a dependent type theory T with axioms for identity types admits a non-trivial weak factorisation system. We provide an explicit characterisation of the elements of both the left class and the right class of the weak factorisation system. This characterisation is applied to relate identity types and the homotopy theory of groupoids.
Arbitrage et expertise de l'article 1843-4 du Code civil
2020
International audience; (Com. 10 oct. 2018, n° 16-22.215, M. L. Gherardi c/ Sté civile des Mousquetaires, Rev. arb. 2019. 239, note J. Jourdan-Marques)