LEADER 04460nam 22005775 450 001 996418291003316 005 20230330025442.0 010 $a3-030-36755-X 024 7 $a10.1007/978-3-030-36755-8 035 $a(CKB)5280000000190065 035 $a(MiAaPQ)EBC6112229 035 $a(DE-He213)978-3-030-36755-8 035 $a(PPN)24281851X 035 $a(EXLCZ)995280000000190065 100 $a20191213d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLogical Foundations of Computer Science$b[electronic resource] $eInternational Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4?7, 2020, Proceedings /$fedited by Sergei Artemov, Anil Nerode 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (297 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11972 311 $a3-030-36754-1 327 $aComputability of Algebraic and Definable Closure -- Observable Models -- Countermodel Construction via Optimal Hypersequent Calculi for Non-Normal Modal Logics -- Completeness Theorems for First-Order Logic Analysed in Constructive Type Theory -- On the Constructive Truth and Falsity in Peano Arithmetic -- Belief Expansion in Subset Models -- Finitism, Concrete Programs and Primitive Recursion -- Knowledge of Uncertain Worlds: Programming with Logical Constraints -- A Globally Sound Analytic Calculus for Henkin Quantifiers -- Feedback Hyperjump -- Syntactic Cut-Elimination for Intuitionistic Fuzzy Logic via Linear Nested Sequents -- On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems -- Parameterised Complexity of Abduction in Schaefer's Framework -- Tracking Computability of GPAC-Generable Functions -- Modal Type Theory Based on the Intuitionistic Modal Logic ????????????! -- Lifting Recursive Counterexamples to Higher-Order Arithmetic -- On the Tender Line Separating Generalizations and Boundary-Case Exceptions for the Second Incompleteness Theorem under Semantic Tableaux Deduction. 330 $aThis book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v11972 606 $aMathematical logic 606 $aMachine theory 606 $aArtificial intelligence 606 $aMathematical Logic and Foundations 606 $aFormal Languages and Automata Theory 606 $aArtificial Intelligence 615 0$aMathematical logic. 615 0$aMachine theory. 615 0$aArtificial intelligence. 615 14$aMathematical Logic and Foundations. 615 24$aFormal Languages and Automata Theory. 615 24$aArtificial Intelligence. 676 $a003.54 702 $aArtemov$b Sergei$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNerode$b Anil$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996418291003316 996 $aLogical Foundations of Computer Science$9772536 997 $aUNISA LEADER 01967 am 2200565 n 450 001 9910324035803321 005 20190308 010 $a2-8028-0452-9 024 7 $a10.4000/books.pusl.19431 035 $a(CKB)4100000008283905 035 $a(FrMaCLE)OB-pusl-19431 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/51735 035 $a(PPN)236710044 035 $a(EXLCZ)994100000008283905 100 $a20190528j|||||||| ||| 0 101 0 $afre 135 $auu||||||m|||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLiminaires phénoménologiques $eRecherches sur le développement de la théorie de la signification de Husserl /$fJocelyn Benoist, Robert Brisart, Jacques English 210 $aBruxelles $cPresses de l?Université Saint-Louis$d2019 215 $a1 online resource (281 p.) 311 $a2-8028-0124-4 330 $aLes trois études que rassemble ce volume se proposent de rétablir la genèse et le développement de la théorie husserlienne de la signification, en contribuant ainsi à la restitution de ce que furent les véritables liminaires de la phénoménologie. 606 $aPhilosophy 606 $aphénoménologie 606 $aphilosophie 606 $amathématique 606 $asens 610 $aphénoménologie 610 $aphilosophie 610 $asens 610 $amathématique 615 4$aPhilosophy 615 4$aphénoménologie 615 4$aphilosophie 615 4$amathématique 615 4$asens 700 $aBenoist$b Jocelyn$0154319 701 $aBrisart$b Robert$0255242 701 $aEnglish$b Jacques$047876 701 $aBenoist$b Jocelyn$0154319 701 $aBrisart$b Robert$0255242 701 $aEnglish$b Jacques$047876 801 0$bFR-FrMaCLE 906 $aBOOK 912 $a9910324035803321 996 $aLiminaires phénoménologiques$93027899 997 $aUNINA LEADER 02014nam 2200601 a 450 001 9910779960003321 005 20230422042353.0 010 $a1-280-70838-7 010 $a9786610708383 010 $a0-313-00728-4 035 $a(CKB)111056485487308 035 $a(OCoLC)614603093 035 $a(CaPaEBR)ebrary10018034 035 $a(SSID)ssj0000160774 035 $a(PQKBManifestationID)11163068 035 $a(PQKBTitleCode)TC0000160774 035 $a(PQKBWorkID)10190495 035 $a(PQKB)10167973 035 $a(MiAaPQ)EBC3000667 035 $a(Au-PeEL)EBL3000667 035 $a(CaPaEBR)ebr10018034 035 $a(OCoLC)51551050 035 $a(EXLCZ)99111056485487308 100 $a19991201d2000 uy 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt 182 $cc 183 $acr 200 10$aGarrison Keillor$b[electronic resource] $ea critical companion /$fby Marcia Songer 210 $aWestport, Conn. $cGreenwood Press$d2000 215 $a1 online resource (175 p.) 225 1 $aCritical companions to popular contemporary writers,$x1082-4979 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-313-30230-8 320 $aIncludes bibliographical references (p. [147]-156) and index. 410 0$aCritical companions to popular contemporary writers. 606 $aHumorous stories, American$xHistory and criticism 606 $aPastoral fiction, American$xHistory and criticism 606 $aLake Wobegon (Minn. : Imaginary place) 607 $aMinnesota$xIn literature 615 0$aHumorous stories, American$xHistory and criticism. 615 0$aPastoral fiction, American$xHistory and criticism. 615 0$aLake Wobegon (Minn. : Imaginary place) 676 $a813/.54 700 $aSonger$b Marcia$f1936-$01548212 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910779960003321 996 $aGarrison Keillor$93805056 997 $aUNINA