01095cam2 2200289 450 E60020005711220191211134001.020091126d1978 |||||ita|0103 bagerDE<<11: >>Wissenschaft der Logik (I. Band)Die objektive Logik (1812-1813)Georg Wilhelm Friedrich Hegelhrsg. von Friedrich HogemannWalter JaeschkeHamburgFelix Meiner Verlag1978XII, 441 p.27 cm(bb)001E6002000570702000 Gesammelte WerkeHegel, Georg Wilhelm FriedrichAF00005281070289533HOGEMANN, FriedrichAF00018348070Jaeschke, WalterA600200040921070ITUNISOB20191211RICAUNISOBUNISOB100|Coll|94|K35324E600200057112M 102 Monografia moderna SBNM100|Coll|94|K000011Si35324acquistobethUNISOBUNISOB20091126160515.020191211134001.0bethbWissenschaft der Logik (I. Band)1707247UNISOB01392nam 2200349 n 450 99639147030331620200824121656.0(CKB)4940000000105152(EEBO)2240925346(UnM)99853995e(UnM)99853995(EXLCZ)99494000000010515219920708d1574 uy |engurbn||||a|bb|The garlande of godly flowers[electronic resource] bewtifully adorned as most freshly they flourish in the gardeins of right faithfull Christian writers. Yéeldyng foorth a very comfortable sauour to the afflicted soule, wherby hée is salfly [sic] transported vnto the mercifull throne of the most glorious God. Carefully collected, and diligently digested into ordre, by Tho. Twyne, Gentleman. 1574Imprinted at London By William How[1574][140] pSignatures: A⁴ [par.]⁴ B-Q⁴ R² .Reproduction of the original in the Henry E. Huntington Library and Art Gallery.eebo-0113PrayersEarly works to 1800PrayersTwyne Thomas1543-1613.845273Cu-RivESCu-RivESCStRLINWaOLNBOOK996391470303316The garlande of godly flowers2406891UNISA01478nam 2200373Ia 450 99638787390331620210104162353.0(CKB)1000000000628847(EEBO)2240951153(OCoLC)ocn124064079e(OCoLC)124064079(EXLCZ)99100000000062884720070508d1643 uy 0engurbn||||a|bb|Speculum anni à partu virginis or An almanack for the yeare of our Lord God 1643[electronic resource] Being the third after bissextile, or leap-yeare: and for the worlds creation 5658, calculated properly for the famous universitie and town of Cambridge, where the pole is elevated 52 degr. 17 min[Cambridge] Printed by R. Daniel, printer to the Universitie of Cambridge.[1643][48] p. illImperfect: p. 45-46 torn from book.Reproduction of original in the University of Toronto Library.eebo-0180Almanacs, EnglishEarly works to 1800EphemeridesEarly works to 1800AstrologyEarly works to 1800Almanacs, EnglishEphemeridesAstrologyDove Jonathan793111UMIUMIBOOK996387873903316Speculum anni à partu virginis or An almanack for the yeare of our Lord God 16432336633UNISA03349oam 2200553 450 99646549060331620210717111130.03-540-48959-210.1007/3-540-48959-2(CKB)1000000000211075(SSID)ssj0000327457(PQKBManifestationID)11294587(PQKBTitleCode)TC0000327457(PQKBWorkID)10301733(PQKB)11568734(DE-He213)978-3-540-48959-7(MiAaPQ)EBC3073271(MiAaPQ)EBC6485750(PPN)15522090X(EXLCZ)99100000000021107520210717d1999 uy 0engurnn|008mamaatxtccrTyped lambda calculi and applications 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings /Jean-Yves Girard (editor)1st ed. 1999.Berlin :Springer,[1999]©19991 online resource (VIII, 404 p.) Lecture notes in computer science ;1581Bibliographic Level Mode of Issuance: Monograph3-540-65763-0 Includes bibliographical references and index.Invited Demonstration -- The Coordination Language Facility and Applications -- AnnoDomini in Practice: A Type-Theoretic Approach to the Year 2000 Problem -- Contributions -- Modules in Non-commutative Logic -- Elementary Complexity and Geometry of Interaction -- Quantitative Semantics Revisited -- Total Functionals and Well-Founded Strategies -- Counting a Type’s Principal Inhabitants -- Useless-Code Detection and Elimination for PCF with Algebraic Data Types -- Every Unsolvable ? Term has a Decoration -- Game Semantics for Untyped ???-Calculus -- A Finite Axiomatization of Inductive-Recursive Definitions -- Lambda Definability with Sums via Grothendieck Logical Relations -- Explicitly Typed ??-Calculus for Polymorphism and Call-by-Value -- Soundness of the Logical Framework for Its Typed Operational Semantic -- Logical Predicates for Intuitionistic Linear Type Theories -- Polarized Proof-Nets: Proof-Nets for LC -- Call-by-Push-Value: A Subsuming Paradigm -- A Study of Abramsky’s Linear Chemical Abstract Machine -- Resource Interpretations, Bunched Implications and the ??-Calculus (Preliminary Version) -- A Curry-Howard Isomorphism for Compilation and Program Execution -- Natural Deduction for Intuitionistic Non-commutative Linear Logic -- A Logic for Abstract Data Types as Existential Types -- Characterising Explicit Substitutions which Preserve Termination -- Explicit Environments -- Consequences of Jacopini’s Theorem: Consistent Equalities and Equations -- Strong Normalisation of Cut-Elimination in Classical Logic -- Pure Type Systems with Subtyping.Lecture notes in computer science ;1581.Lambda calculusCongressesLambda calculus511.3Girard Jean-YvesInternational Conference on Typed Lambda Calculi and ApplicationsMiAaPQMiAaPQUtOrBLWBOOK996465490603316Typed Lambda Calculi and Applications772124UNISA