01388nas 2200361 n 450 99000890978040332120240229084346.00391-7274000890978FED01000890978(Aleph)000890978FED01000890978CNRP 0009417020161109a19799999km-y0itaa50------baitaITauu--------<<Gli >>Argonautipsicanalisi e società1979-Milano[s.n.]Trimestrale<<Gli >>Argonauti159.964.2ITACNP20090723http://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=62905&person=false&language=ITALIANO&libr=&libr_th=unina1Biblioteche che possiedono il periodicoSE990008909780403321BRAU. Biblioteca di Ricerca di Area Umanistica1979-1989;1999;2001;Italia 406FLFBCFLFBCArgonauti164623UNINA866-01NA072 BRAU. Biblioteca di Ricerca di Area UmanisticaItalia 406Piazza Bellini 56/60, 80133 Napoli (NA)(081) 2533948itacnp.cib.unibo.itACNP Italian Union Catalogue of Serialshttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=62905&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO02360nam0 2200493 i 450 VAN005446520231220115630.180978-03-87900-35-320061013d1971 |0itac50 baengUS|||| |||||Categories for the working mathematicianSaunders Mac LaneNew YorkSpringer1971XII, 314 p.ill.25 cm001VAN00235792001 Graduate texts in mathematics210 New York [etc.]Springer518-XXCategory theory; homological algebra [MSC 2020]VANC019745MF18M05Monoidal categories, symmetric monoidal categories [MSC 2020]VANC024468MF18AxxGeneral theory of categories and functors [MSC 2020]VANC024564MF18C15Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020]VANC024567MF18D15Closed categories (closed monoidal and Cartesian closed categories, etc.) [MSC 2020]VANC024568MF18N50Simplicial sets, simplicial objects [MSC 2020]VANC024569MF18M15Braided monoidal categories and ribbon categories [MSC 2020]VANC035912MFAdjoint functorKW:KAlgebraKW:KCategoriesKW:KCategory TheoryKW:KColimitKW:KCoproductKW:KEqualizerKW:KSemigroupsKW:KTransformationKW:KUSNew YorkVANL000011Mac LaneSaundersVANV01966526298Springer <editore>VANV108073650Mac Lane, S.Mac Lane, SaundersVANV049890MacLane, SaundersMac Lane, SaundersVANV043056ITSOL20240614RICA/sebina/repository/catalogazione/documenti/Mac Lane - Categories for the working mathematician.pdfContentsBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0054465BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 18-XX 2568 08 1907 I 20061013 Categories for the working mathematician32403UNICAMPANIA01810nam0 22004453i 450 VAN027783920240717022121.356N978303079010320240612d2022 |0itac50 baengCH|||| |||||Mathematical LogicExercises and SolutionsLaszlo Csirmaz, Zalán GyenisChamSpringer2022viii, 319 p.ill.24 cm001VAN00235822001 Problem books in mathematics210 New York [etc.]Springer1981-00A07Problem books [MSC 2020]VANC021527MF03-XXMathematical logic and foundations [MSC 2020]VANC019750MFFirst-order logicKW:KFormal logicKW:KGödel’s theoremsKW:KMathematical logicKW:KPeano axiom systemKW:KPredicate calculusKW:KProblem SolvingKW:KPropositional calculusKW:KRecursion theoryKW:KultraproductSKW:KCHChamVANL001889CsirmazLaszloVANV2303771214591GyenisZalánVANV2303781739975Springer <editore>VANV108073650ITSOL20240719RICAhttps://doi.org/10.1007/978-3-030-79010-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0277839BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-Book 8803 08eMF8803 20240618 Mathematical Logic4164688UNICAMPANIA