CINXE.COM
Rudiments of μ-calculus | 三重大学附属図書館 OPAC
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"> <html xmlns="http://www.w3.org/1999/xhtml" dir="ltr" xmlns:og='http://opengraphprotocol.org/schema/' > <head> <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <meta http-equiv="X-UA-Compatible" content="IE=edge" > <meta http-equiv="Content-Type" content="text/html; charset=utf-8" /> <meta name="title" content="Rudiments of μ-calculus" /> <meta name="author" content="A. Arnold, D. Niwiński" /> <meta name="keywords" content="哲学各論--論理学．弁証法．方法論" /> <meta property="og:title" content="Rudiments of μ-calculus" /> <meta property="og:isbn" content="9780444506207 [0444506209]" /> <meta property="og:image" content="https://books.google.com/books/content?id=9REVlQEACAAJ&printsec=frontcover&img=1&zoom=1" /> <meta property="og:url" content="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA50939760" /> <meta property="og:site_name" content="三重大学附属図書館 OPAC" /> <link rel="shortcut icon" href="/opc/sites/all/themes/corolla/images/favicon.ico" type="image/x-icon" /> <title>Rudiments of μ-calculus | 三重大学附属図書館 OPAC</title> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/themes/corolla/reset.css" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/modules/xc/xc_search/xc_search.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/modules/xc/xc_search/qrcode/xc_search_qrcode.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/modules/node/node.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/modules/system/defaults.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/modules/system/system.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/modules/system/system-menus.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/modules/user/user.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/modules/lightbox2/css/lightbox.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/modules/xc/ezproxy_url_rewrite/ezproxy_url_rewrite.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/modules/xc/xc_auth/xc_auth.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/modules/xc/xc_uniform/xc_uniform.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/modules/popups/popups.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/modules/popups/skins/basic/basic.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/themes/corolla/reset.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/themes/corolla/base.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/themes/corolla/style.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/themes/corolla/drupal-6.css?z" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/themes/corolla/colors.css?z" /> <link type="text/css" rel="stylesheet" media="print" href="/opc/sites/all/themes/corolla/print.css?z" /> <!-- 2011.02.14 mine add start --> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/themes/corolla/nalis-style.css?1743158229" /> <!-- 2011.02.14 mine add end --> <style type="text/css" media="all">/* Base font size */ body,div,pre,p,blockquote,h1,h2,h3,h4,h5,h6,ul,ol,li,dl,dt,dd,fieldset,form,input,textarea,button,th,td,address { font-size: 12px; font-family:Arial, Helvetica, sans-serif; } /* Layout width */ body.two-sidebars #header-menu, body.two-sidebars #header, body.two-sidebars #main-columns { width: ; min-width:980px; max-width: 980px; } body.one-sidebar #header-menu, body.one-sidebar #header, body.one-sidebar #main-columns { width: ; min-width: 980px; max-width: 980px; } body.no-sidebars #header-menu, body.no-sidebars #header, body.no-sidebars #main-columns { width: ; min-width: 980px; max-width: 980px; } /* Color scheme [default] */ /* base */ .circle, fieldset, .mainBox, .fieldset-wrapper, .fieldset-wrapper td, .xc-suggestion-other-site, #xc-search-no-result, #xc-search-similar-items, .xc-search-results td .spCovKey, #xc-search-active-filters .item-list ul li, .xc-search-info-bar .xc-search-pager .xc-search-pager-center input { background-color: #ffffff; } .block h2::selection, .block h2::-moz-selection { color: #ffffff; } /* Background */ body, #header-menu .content > ul > li.active-trail { background-color: #f9f9f3; } /* Text */ body,div,pre,p,blockquote,h1,h2,h3,h4,h5,h6,ul,ol,li,dl,dt,dd,form,fieldset,input,textarea,button,th,td,address, #site-name a, #header-menu .content li.active a, h1.page-title, .node h2.node-title, .node h1.node-title a, .node h2.node-title a, .comment h3.title a, .tabs ul.tabs li a, code, samp, var, table.update tr, table.system-status-report tr, #clearlink a, #clearlink a:hover, #clearlink a:focus, .advanced-clear-link a, .advanced-clear-link a:hover, .advanced-clear-link a:focus { color: #444444; } #site-name a::-moz-selection, #site-name a::selection, .node-title a::-moz-selection, .node-title a::selection { background-color: #444444; } /* Link */ a, a.active, li a.active, .mainBox .mainTable dt, #xc-search-similar-items h3, #xc-search-similar-items-images .xc-mlt-count, #xc-search-similar-items-titles .xc-mlt .xc-mlt-count .xc-mlt-count_i { color: #0a67ac; } .logo, #xc-search-hits input.form-submit { border-color: #0a67ac; } legend, div.legend, #xc-search-hits input.form-submit { background-color: #0a67ac; } /* Link hovered */ a:hover, a:focus, a.active:hover, a.active:focus, li a.active:hover, li a.active:focus { border-bottom-color: #7ab9e1; color: #7ab9e1; } #xc-search-hits input.form-submit:hover, #xc-search-hits input.form-submit:focus { border-color: #7ab9e1 !important; } .node h1.node-title a:hover, .node h2.node-title a:hover { color: #7ab9e1; } /* Link underline */ a { border-bottom: 1px solid #67a7d6; } /* Header menu */ #header-menu-wrapper { background-color: #ffffff; } /* Header menu hovered */ #header-menu .content li a:hover, #header-menu .content li a:active, #header-menu .content li a:focus, #site-slogan::selection, #site-slogan::-moz-selection, .poll .bar .foreground { background-color: #0a67ac; } /* Slogan */ #site-slogan, .xc-search-results td .spCovKey { color: #8bbb26; } /* Border */ #page, #template-header, .tabs ul.tabs li a, #sidebar-first input, #sidebar-second input, .xc-search-info-bar-primary, #xc-search-result-navigation, #xc-search-active-filters { border-color: #dddddd; } /* Border strong */ .tabs ul.tabs li a, #sidebar-first input, #sidebar-second input { border-color: #0a67ac; } /* Tab */ .tabs ul.tabs li a, ul.vertical-tabs-list li a { background-color: #f9f9f2; } /* Block title */ h2, .block h2, .mainBox h3 { color: #006400; } .block h2::selection, .block h2::-moz-selection { background-color: #006400; } #xc-search-no-result h2 { border-bottom: solid 1px #006400; color: #006400; } /* Fieldset */ .xc-search-info-bar-primary, #xc-search-result-navigation, .xc-search-results tr.even td { background-color: #f9f9f2; } /* Fieldset border */ fieldset, .fieldset-wrapper{ border-color: #7ab9e1; } /* ToolTip */ .tooltip_result-list:hover span{ background: #f9f9f3; border-color: #0a67ac; } </style> <!--[if IE 9]> <link type="text/css" rel="stylesheet" href="/opc/sites/all/themes/corolla/ie9.css" media="all" /> <![endif]--> <!--[if lte IE 8]> <link type="text/css" rel="stylesheet" href="/opc/sites/all/themes/corolla/ie8.css" media="all" /> <![endif]--> <!--[if lte IE 7]> <link type="text/css" rel="stylesheet" href="/opc/sites/all/themes/corolla/ie7.css" media="all" /> <![endif]--> <!--[if lte IE 6]> <link type="text/css" rel="stylesheet" href="/opc/sites/all/themes/corolla/ie6.css" media="all" /> <![endif]--> <!-- for smart phone --> <meta name="viewport" content="width=device-width" /> <meta name="format-detection" content="telephone=no" /> <link rel="apple-touch-icon" href="/opc/sites/all/themes/corolla/apple-touch-icon.png" /> <link type="text/css" rel="stylesheet" media="all" href="/opc/sites/all/themes/corolla/nalis-spstyle.css?1743158229" /> <!-- for smart phone --> <script type="text/javascript" src="/opc/misc/jquery.js?z"></script> <script type="text/javascript" src="/opc/misc/jquery-extend-3.4.0.js?z"></script> <script type="text/javascript" src="/opc/misc/drupal.js?z"></script> <script type="text/javascript" src="/opc/misc/collapse.js?z"></script> <script type="text/javascript" src="/opc/sites/default/files/languages/ja_de480bdc39a79cdcb9da453b0c0f42b1.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/lightbox2/js/lightbox.js?z"></script> <script type="text/javascript" src="/opc/misc/jquery.form.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/popups/popups.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_search/xc_search_review.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_search/xc_search_online.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_search/xc_search.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_search/jquery.qtip-1.0.0-rc3.min.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_search/searching/xc_search_ajax_options.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_search/xc_search_issn_isbn.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_openurl/xc_openurl.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_biblio_export/xc_biblio_export_text/xc_biblio_export_text.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_biblio_export/xc_biblio_export_endnote/xc_biblio_export_endnote.js?z"></script> <script type="text/javascript" src="/opc/sites/all/modules/xc/xc_search/xc_search_import.js?z"></script> <script type="text/javascript"> <!--//--><![CDATA[//><!-- jQuery.extend(Drupal.settings, { "basePath": "/opc/", "lightbox2": { "rtl": "0", "file_path": "/opc/(\\w\\w/)sites/default/files", "default_image": "/opc/sites/all/modules/lightbox2/images/brokenimage.jpg", "border_size": 10, "font_color": "000", "box_color": "fff", "top_position": "", "overlay_opacity": "0.8", "overlay_color": "000", "disable_close_click": true, "resize_sequence": 0, "resize_speed": 400, "fade_in_speed": 400, "slide_down_speed": 600, "use_alt_layout": false, "disable_resize": false, "disable_zoom": false, "force_show_nav": false, "show_caption": true, "loop_items": false, "node_link_text": "View Image Details", "node_link_target": false, "image_count": "Image !current of !total", "video_count": "Video !current of !total", "page_count": "Page !current of !total", "lite_press_x_close": "\x3ca href=\"#\" onclick=\"hideLightbox(); return FALSE;\"\x3e\x3ckbd\x3ex\x3c/kbd\x3e\x3c/a\x3e を押すと閉じます", "download_link_text": "", "enable_login": false, "enable_contact": false, "keys_close": "c x 27", "keys_previous": "p 37", "keys_next": "n 39", "keys_zoom": "z", "keys_play_pause": "32", "display_image_size": "original", "image_node_sizes": "()", "trigger_lightbox_classes": "", "trigger_lightbox_group_classes": "", "trigger_slideshow_classes": "", "trigger_lightframe_classes": "", "trigger_lightframe_group_classes": "", "custom_class_handler": 0, "custom_trigger_classes": "", "disable_for_gallery_lists": true, "disable_for_acidfree_gallery_lists": true, "enable_acidfree_videos": true, "slideshow_interval": 5000, "slideshow_automatic_start": true, "slideshow_automatic_exit": true, "show_play_pause": true, "pause_on_next_click": false, "pause_on_previous_click": true, "loop_slides": false, "iframe_width": 600, "iframe_height": 400, "iframe_border": 1, "enable_video": false }, "popups": { "originalPath": "node/171192", "defaultTargetSelector": "div.left-corner \x3e div.clear-block:last", "modulePath": "sites/all/modules/popups", "autoCloseFinalMessage": 1 }, "xc_search": { "ncip_bibs": { "1": [ "BA50939760" ] }, "token": "0fa09a74c2e1066ad829e547c472e0dd", "page": "node", "node_id": 171192, "ncip_url": "http://opac.lib.mie-u.ac.jp/opc/xc_search/ajax/ncip_info_full", "ncip_recipt_binding_url": "http://opac.lib.mie-u.ac.jp/opc/xc_search/ajax/ncip_recipt_binding", "open_worldcat_identity_url": "http://opac.lib.mie-u.ac.jp/opc/xc_search/ajax/open_worldcat_identity_url", "image_info": { "463256": { "ISBN": "", "OCLC": "" }, "225131": { "ISBN": "8984010812", "OCLC": "" }, "69075": { "ISBN": "3540525904,0387525904", "OCLC": "" }, "31838": { "ISBN": "0471908738", "OCLC": "" }, "1802363": { "ISBN": "0471394882", "OCLC": "" }, "28897": { "ISBN": "", "OCLC": "" }, "104676": { "ISBN": "", "OCLC": "" }, "32284": { "ISBN": "0416178103,0416178200", "OCLC": "" }, "187170": { "ISBN": "0746307977", "OCLC": "" }, "208500": { "ISBN": "0520018516", "OCLC": "" }, "209150": { "ISBN": "", "OCLC": "" }, "292647": { "ISBN": "4865030077", "OCLC": "" } }, "image_url": "http://opac.lib.mie-u.ac.jp/opc/xc_search/ajax/image_info", "bookmark_item_url": "http://opac.lib.mie-u.ac.jp/opc/xc_search/ajax/bookmark_item", "remove_bookmark_item_url": "http://opac.lib.mie-u.ac.jp/opc/xc_search/ajax/remove_bookmark_item", "schema_record_url": "http://opac.lib.mie-u.ac.jp/opc/node/171192/xc/download", "mlt_count": "12", "child_url": "http://opac.lib.mie-u.ac.jp/opc/xc_search/ajax/ncip_child_full" }, "xc_search_review": { "isbns": "9780444506207 [0444506209]", "amazon_url": "http://opac.lib.mie-u.ac.jp/opc/admin/xc/search/ajax.amazon_review.iframe", "lang": "ja" }, "xc_search_campus_review": { "ulang": "ja", "ncip_bibs": [ "BA50939760" ], "reviewtype": "1", "campus_review_url": "http://opac.lib.mie-u.ac.jp/opc/admin/xc/search/ajax.campus_review" }, "xc_search_other_borrowing": { "ncid": "BA50939760", "cln": "", "other_borrowing_url": "http://opac.lib.mie-u.ac.jp/opc/admin/xc/search/ajax.other_borrowing", "lang": "ja" }, "xc_search_ebook_journal": { "issn": "", "isbn": "9780444506207 [0444506209]", "title": "Rudiments of μ-calculus", "is_journal": 0, "ebook_journal_url": "http://opac.lib.mie-u.ac.jp/opc/admin/xc/search/ajax.ebook_journal" }, "xc_search_info_display_contents": { "isbns": "9780444506207 [0444506209]", "info_display_contents_url": "http://opac.lib.mie-u.ac.jp/opc/admin/xc/search/ajax.info_display_contents" }, "xc_search_online": { "scopusid": null, "onlineCitedByUrl": null, "ajax_citedBy": "http://opac.lib.mie-u.ac.jp/opc/admin/xc/search/ajax.online_citedBy" }, "xc_theme": { "theme_color": { "base": "#ffffff", "background": "#f9f9f3", "text": "#444444", "link": "#0a67ac", "linkhover": "#7ab9e1", "linkunderline": "#67a7d6", "slogan": "#8bbb26", "headermenu": "#ffffff", "headermenuhover": "#0a67ac", "tab": "#f9f9f2", "blocktitle": "#006400", "border": "#dddddd", "borderstrong": "#0a67ac", "fieldset": "#f9f9f2", "fieldsetborder": "#7ab9e1", "tooltipborder": "#0a67ac" } }, "xc_openurl": { "openurl": "/opc/" }, "xc_biblio_export_text": { "xc_biblio_export_url": "http://opac.lib.mie-u.ac.jp/opc/xc/biblio_export_text/export_item" }, "xc_biblio_export_endnote": { "xc_biblio_export_url": "http://opac.lib.mie-u.ac.jp/opc/xc/biblio_export_endnote/export_item" } }); //--><!]]> </script> </head> <body class="not-front not-logged-in page-node node-type-xc-manifestation tab-xc-search no-sidebars"> <div id="skip-link"> <a href="#main-content">Skip to main content</a> </div> <div id="header-wrapper"> <div id="header" class="clear-block with-blocks"> <div id="branding-wrapper" class="clear-block"> <div id="branding"> <div id="name-and-slogan"> </div> </div> <!-- /#branding --> </div> <!-- /#branding-wrapper --> <div class="region region-header"> <div id="block-block-1" class="block block-block"> <div class="inner"> <div class="content"> <script type="text/javascript"> $(document).ready(function(){ $("select#lang-selector").change( function() { window.location.replace( $(this).val() ); }); }); </script> <div id="template-header" class="clearfix"> <p class="logo"><a href="http://opac.lib.mie-u.ac.jp/opc/" title="OPAC Top"><img src="/opc/sites/all/themes/corolla/site_id_opac.png" alt="OPAC Top" title="OPAC Top" width="390" height="56" /></a></p> <div class="headNavi"> <ul> <li><a href="http://www.lib.mie-u.ac.jp/" target="_blank" title="図書館トップページ">図書館トップページ</a></li> <li><a href="https://opac.lib.mie-u.ac.jp/portal/?plang=jpn" target="_blank" title="WEBサービスログイン">My ポータル</a></li> <li><a href="http://opac.lib.mie-u.ac.jp/cgi-bin/nbk/nbk_seek.cgi?ulang=jpn" target="_blank" title="新着図書">新着図書</a></li> <li><a href="http://opac.lib.mie-u.ac.jp/cgi-bin/nmg/nmg_seek.cgi?ulang=jpn" target="_blank" title="新着雑誌">新着雑誌</a></li> <li><a href="http://www.lib.mie-u.ac.jp/guidance/student/video_list1.html">視聴覚資料リスト</a></li> <li><a href="http://www.lib.mie-u.ac.jp/e_journal/a2z/">電子ジャーナルリスト</a></li> <li><a href="/opc/help/online/opac-top?popup=1" target="_blank" title="ヘルプ" class="advanced-help-links" onclick="var w=window.open(this.href, 'advanced_help_window', 'width=800,height=500,scrollbars,resizable'); w.focus(); return false;">ヘルプ</a></li> <li><select id="lang-selector"><option value="/opc/en/recordID/catalog.bib/BA50939760?caller=xc-search" >English</option> <option value="/opc/ja/recordID/catalog.bib/BA50939760?caller=xc-search" selected="selected">日本語</option></select></li> </ul> </div> <div align="right" class="spDisNon"> <a href="http://www.lib.mie-u.ac.jp/e_journal/e_book/" target="_BLANK" style="border: 0"><img src="http://opac.lib.mie-u.ac.jp/opc/sites/all/themes/corolla/images/eb_logo.jpg" height="37" width="179" style="margin:5px 0 0 0"/></a> </div> </div> <div class="spDisInl"> <p style="margin:10px 10px 0px"> ※一部利用できない機能があります <div align='right'> </div> </p> </div> </div> </div> </div> </div> <!-- /#region region-header --> </div> <!-- /#header --> </div> <!-- /#header-wrapper --> <div id="main-columns-wrapper"> <div id="main-columns"> <div id="main-wrapper" class=" first last"> <div id="main"> <div id="page" class="clear-block"> <!-- <div id="breadcrumb"><div class="breadcrumb"><a href="/opc/">ホーム</a></div></div>--> <div class="region region-content-top"> <div id="block-xc_search-result_navigation_top" class="block block-xc_search"> <div class="inner"> <h2><!--none--></h2> <div class="content"> <div id="xc-search-result-navigation"><div class="result-nav result-prev"></div><div class="result-nav result-next"></div><div class="result-nav result-list"></div></div> </div> </div> </div> </div> <!-- <a id="main-content"></a> <h1 class="page-title">Rudiments of μ-calculus</h1> --> <div class="region region-content"> <div id="node-171192" class="node"> <div class="node-header"> </div> <!-- /.node-header --> <div class="content"> <div id="xc-search-full" class="clearfix"> <div id="xc-search-full-left"> <div id="coverart-171192" class="coverart"> <a href="https://books.google.com/books/content?id=9REVlQEACAAJ&printsec=frontcover&img=1&zoom=1" rel="lightbox" title="Rudiments of μ-calculus by Arnold, André, 1945- ; Niwiński, Damian"> <img src="https://books.google.com/books/content?id=9REVlQEACAAJ&printsec=frontcover&img=1&zoom=1" alt="" /> </a> </div> <a href="http://books.google.com/books?id=9REVlQEACAAJ" target="_blank">>> Google Books</a> <div id="buttons-171192" class="buttons"> <form action="/opc/recordID/catalog.bib/BA50939760?caller=xc-search" accept-charset="UTF-8" method="post" id="xc-search-full-action-form"> <div><input type="hidden" name="uid" id="edit-uid" value="0" /> <input type="hidden" name="nid" id="edit-nid" value="171192" /> <input type="hidden" name="bookmark_id" id="edit-bookmark-id" value="" /> <input type="hidden" name="sid" id="edit-sid" value="oai:opac.lib.mie-u.ac.jp:MetadataServicesToolkit/marctoxctransformation/3903563" /> <input type="submit" name="op" id="edit-export-text-action" value="Text" class="form-submit export_text-action" /> <input type="submit" name="op" id="edit-export-endnote-action" value="EndNote Basic" class="form-submit export_endnote-action" /> <input type="submit" name="op" id="edit-print-action" value="Print" class="form-submit print-action" onClick="window.open('/opc/print/171192');return false;" /> <input type="hidden" name="form_build_id" id="form-eAKThdXw3AJz19PJkj6AQ4jDhXUbD5QDt6Uf59IOry8" value="form-eAKThdXw3AJz19PJkj6AQ4jDhXUbD5QDt6Uf59IOry8" /> <input type="hidden" name="form_id" id="edit-xc-search-full-action-form" value="xc_search_full_action_form" /> </div></form> <div class="tooltip_parmalink"> <input type="submit" name="parmalink" id="parmalink-action" value="Link This Page" class="form-submit parmalink-action" title="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA50939760" /> </div> </div> <div id="xc-qrcode" class="qrcode"> <img src="/opc/sites/all/modules/xc/xc_search/qrcode/qr.php?title=Rudiments%20of%20%CE%BC-calculus&output=%E3%80%8C%E5%9B%B3%E3%83%BB%E6%9B%B8%E5%BA%AB%E3%80%8D%EF%BC%88%E8%AB%8B%E6%B1%82%E8%A8%98%E5%8F%B7%EF%BC%9A116.08%2FSt%209%2F146%EF%BC%89" alt="" title="" class="qrcode_src" /> </div> <div class="qrcode_label"> タイトル、所在を表示します </div> </div><!--end of div id=xc-search-full-left--> <div id="xc-search-full-right"> <div class="mainBox"> <!--importer-ancher--> <h3>Rudiments of μ-calculus</h3> <dl class="mainTable"> <dt>フォーマット:</dt> <dd><span class="xc-format">図書</span></dd> <dt>責任表示:</dt> <dd>A. Arnold, D. Niwiński</dd> <dt>言語:</dt> <dd>英語</dd> <dt>出版情報:</dt> <dd>Amsterdam ; Tokyo : Elsevier, 2001</dd> <dt>形態:</dt> <dd>xvii, 277 p. ; 23 cm</dd> <dt>著者名:</dt> <dd><div class="item-list"><ul><li class="first"><a href="/opc/xc/search/%2A?ql=1&filter%5B%5D=all_authors_fc%3A%22Arnold%2C%20Andr%C3%A9%2C%201945-%22">Arnold, André, 1945-</a> <a href="/opc/xc/search/DA04270776?os%5Bua%5D=DA04270776"><DA04270776></a></li> <li class="last"><a href="/opc/xc/search/%2A?ql=1&filter%5B%5D=all_authors_fc%3A%22Niwi%C5%84ski%2C%20Damian%22">Niwiński, Damian</a></li> </ul></div></dd> <dt>シリーズ名:</dt> <dd><a href="/opc/recordID/catalog.bib/BA00099329">Studies in logic and the foundations of mathematics ; v. 146</a> <BA00099329></dd> <dt>書誌ID:</dt> <dd>BA50939760</dd> <dt>ISBN:</dt> <dd>9780444506207 [0444506209]</dd> <dd class="imgLink spDisNon" id="xc-scraping-link-resolver-url"><a target="sslink" href="http://resolver.ebscohost.com/openurl?authtype=ip,guest&custid=s1214776&groupid=main&isbn=9780444506207&btitle=Rudiments+of+%CE%BC-calculus"><img src="/opc/sites/all/modules/xc/xc_search/images/link-resolver.gif" /></a></dd> </dl> </div> <!-- /mainBox --> <table class="xc-search-full-table"> <tr class="xc-no-border" id="xc-scraping-holdings"> <td colspan="2"> <fieldset id="children" class="collapsible"> <legend>子書誌情報</legend> <table class="xc-full"> <tr class="xc-children"> <td id="xc-children"> <img src="/opc/sites/all/modules/xc/xc_search/images/ajax-loader.gif" alt="Loading" title="Loading" /> </td> </tr> </table> </fieldset> <!--Locations--> <fieldset id="location" class="collapsible"> <legend>所蔵情報</legend> <table class="xc-full"> <tr class="xc-availability xc-no-border"> <td id="xc-availability-171192"> <img src="/opc/sites/all/modules/xc/xc_search/images/ajax-loader.gif" alt="Loading availability information" title="Loading availability information" /> </td> </tr> </table> </fieldset> <!--Locations end--> </td> </tr> <tr id="xc-similarvolume-tr" class="xc-no-border"> <td colspan="2"> <!--CAT2020展開しない場合はこっちを有効にすれば良い<fieldset id="details" class="collapsed collapsible"> --> <fieldset id="details" class="collapsible"> <legend>タイトルが類似している資料</legend> <table id="xc-similarvolume-table" class="xc-full"> </table> </fieldset> </td> </tr> <!--Details--> <tr class="xc-no-border"> <td colspan="2"> <fieldset id="details" class="collapsed collapsible"> <legend>詳細</legend> <table class="xc-full"> <tr> <td class="xc-label" nowrap="nowrap">資料形態(詳細):</td> <td>Text</td> </tr> <tr> <td class="xc-label">主題:</td> <td><a href="/opc/xc/search/%2A?ql=1&filter%5B%5D=subject_fc%3A%22%E5%93%B2%E5%AD%A6%E5%90%84%E8%AB%96--%E8%AB%96%E7%90%86%E5%AD%A6%EF%BC%8E%E5%BC%81%E8%A8%BC%E6%B3%95%EF%BC%8E%E6%96%B9%E6%B3%95%E8%AB%96%22">哲学各論--論理学．弁証法．方法論</a></td> </tr> <tr> <td class="xc-label">注記:</td> <td>Bibliography: p. [269]-273 <br /> Includes index</td> </tr> <tr> <td class="xc-label">登録日:</td> <td>2001-10-19</td> </tr> </table> </fieldset> </td> </tr> <!--Details end--> <!-- <tr class="xc-no-border" id="xc-scraping-camps-review"> <td colspan="2"> <fieldset id="review-campus" class="collapsed collapsible"> <legend>レビュー (学内)</legend> <table class="xc-full"> <tr valign="top"> <td id="xc-review-campus" valign="top" style="padding: 0; margin: 0;"> <img src="/opc/sites/all/modules/xc/xc_search/images/ajax-loader.gif" alt="Loading review information" title="Loading review information" /> </td> </tr> </table> </fieldset> </td> </tr> --> </table><!--end of table class=xc-search-full-table--> <input type="hidden" id="exp-xc-title" value="Rudiments of μ-calculus" /> <input type="hidden" id="exp-xc-responsibility" value="A. Arnold, D. Niwiński" /> <input type="hidden" id="exp-xc-publisher" value="Elsevier" /> <input type="hidden" id="exp-xc-nc-id" value="BA50939760" /> <input type="hidden" id="exp-xc-isbn" value="9780444506207" /> </div><!--end of div id=xc-search-full-right--> </div><!--end of div id=xc-search-full--> <!--============================================================================ NOTE: Enhancements, related subject topics, regions, time periods, and resources are disabled in the default XC theme =============================================================================--> <div id="xc-search-similar-items"> <h3>類似資料:</h3> <div id="xc-search-similar-items-images" class="clearfix"> <div class="xc-mlt" id="mlt-463256"> <div class="xc-mlt-count">1</div> <span id="coverart-463256" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BN05836084?hit=-1&caller=xc-search" title="科學論"> </a> </span> </div> <div class="xc-mlt" id="mlt-225131"> <div class="xc-mlt-count">2</div> <span id="coverart-225131" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA76380977?hit=-1&caller=xc-search" title="거짓말쟁이의 역설"> </a> </span> </div> <div class="xc-mlt" id="mlt-69075"> <div class="xc-mlt-count">3</div> <span id="coverart-69075" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA10172822?hit=-1&caller=xc-search" title="CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings"> </a> </span> </div> <div class="xc-mlt" id="mlt-31838"> <div class="xc-mlt-count">4</div> <span id="coverart-31838" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA00924309?hit=-1&caller=xc-search" title="Differential calculus"> </a> </span> </div> <div class="xc-mlt" id="mlt-1802363"> <div class="xc-mlt-count">5</div> <span id="coverart-1802363" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/MT00022682?hit=-1&caller=xc-search" title="Advanced calculus with applications in statistics"> </a> </span> </div> <div class="xc-mlt" id="mlt-28897"> <div class="xc-mlt-count">6</div> <span id="coverart-28897" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA00634557?hit=-1&caller=xc-search" title="μ R"> </a> </span> </div> <div class="xc-mlt" id="mlt-104676"> <div class="xc-mlt-count">7</div> <span id="coverart-104676" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA23758504?hit=-1&caller=xc-search" title="Meteorological calculus : pressure and wind"> </a> </span> </div> <div class="xc-mlt" id="mlt-32284"> <div class="xc-mlt-count">8</div> <span id="coverart-32284" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA00967119?hit=-1&caller=xc-search" title="Realism"> </a> </span> </div> <div class="xc-mlt" id="mlt-187170"> <div class="xc-mlt-count">9</div> <span id="coverart-187170" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA57076425?hit=-1&caller=xc-search" title="Salman Rushdie"> </a> </span> </div> <div class="xc-mlt" id="mlt-208500"> <div class="xc-mlt-count">10</div> <span id="coverart-208500" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA67754657?hit=-1&caller=xc-search" title="Logic matters"> </a> </span> </div> <div class="xc-mlt" id="mlt-209150"> <div class="xc-mlt-count">11</div> <span id="coverart-209150" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA68122182?hit=-1&caller=xc-search" title="Logic : an introductory manual for the use of university students"> </a> </span> </div> <div class="xc-mlt" id="mlt-292647"> <div class="xc-mlt-count">12</div> <span id="coverart-292647" class="xc-mlt-coverart coverart"> <a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BB13726451?hit=-1&caller=xc-search" title="論理学と学知の理論について"> </a> </span> </div> </div><!--xc-search-similar-items-images--> <div id="xc-search-similar-items-titles" class="clearfix"><table class="xc-multicolumn-table xc-column-2"> <tbody> <tr class="odd"><td class="first"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">1</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BN05836084?hit=-1&caller=xc-search" title="科學論"><em>科學論</em></a></span> </div> <p class="xc-mlt-author" title="戸坂, 潤(1900-1945)">戸坂, 潤(1900-1945)</p> <p class="xc-mlt-publisher">三笠書房</p> </div> </td><td class="second"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">7</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA23758504?hit=-1&caller=xc-search" title="Meteorological calculus : pressure and wind"><em>Meteorological calculus : pressure and wind</em></a></span> </div> <p class="xc-mlt-author" title="Shaw, Napier, Sir, 1854-1945">Shaw, Napier, Sir, 1854-1945</p> <p class="xc-mlt-publisher">The University Press</p> </div> </td> </tr> <tr class="even"><td class="first"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">2</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA76380977?hit=-1&caller=xc-search" title="거짓말쟁이의 역설"><em>거짓말쟁이의 역설</em></a></span> </div> <p class="xc-mlt-author" title="山岡, 謁郎(1945-), 안, 소현">山岡, 謁郎(1945-), 안, 소현</p> <p class="xc-mlt-publisher">영림카디널</p> </div> </td><td class="second"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">8</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA00967119?hit=-1&caller=xc-search" title="Realism"><em>Realism</em></a></span> </div> <p class="xc-mlt-author" title="Grant, Damian">Grant, Damian</p> <p class="xc-mlt-publisher">Methuen</p> </div> </td> </tr> <tr class="odd"><td class="first"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">3</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA10172822?hit=-1&caller=xc-search" title="CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings"><em>CAAP '90 : 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, proceedings</em></a></span> </div> <p class="xc-mlt-author" title="Colloquium on Trees in Algebra and Programming, Arnold, André, 1945-">Colloquium on Trees in Algebra and Programming, Arnold, André, 1945-</p> <p class="xc-mlt-publisher">Springer-Verlag</p> </div> </td><td class="second"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">9</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA57076425?hit=-1&caller=xc-search" title="Salman Rushdie"><em>Salman Rushdie</em></a></span> </div> <p class="xc-mlt-author" title="Grant, Damian">Grant, Damian</p> <p class="xc-mlt-publisher">Northcote House in association with the British Council</p> </div> </td> </tr> <tr class="even"><td class="first"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">4</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA00924309?hit=-1&caller=xc-search" title="Differential calculus"><em>Differential calculus</em></a></span> </div> <p class="xc-mlt-author" title="Avez, A. (André), Edmunds, D. E. (David Eric)">Avez, A. (André), Edmunds, D. E. (David Eric)</p> <p class="xc-mlt-publisher">J. Wiley</p> </div> </td><td class="second"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">10</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA67754657?hit=-1&caller=xc-search" title="Logic matters"><em>Logic matters</em></a></span> </div> <p class="xc-mlt-author" title="Geach, P. T. (Peter Thomas), 1916-">Geach, P. T. (Peter Thomas), 1916-</p> <p class="xc-mlt-publisher">University of California Press</p> </div> </td> </tr> <tr class="odd"><td class="first"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">5</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/ebook.png" title="電子ブック" width="16" height="16" /> <span>電子ブック</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/MT00022682?hit=-1&caller=xc-search" title="Advanced calculus with applications in statistics"><em>Advanced calculus with applications in statistics</em></a></span> </div> <p class="xc-mlt-author" title="Khuri, André I., 1940-">Khuri, André I., 1940-</p> <p class="xc-mlt-publisher">John Wiley & Sons</p> </div> </td><td class="second"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">11</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA68122182?hit=-1&caller=xc-search" title="Logic : an introductory manual for the use of university students"><em>Logic : an introductory manual for the use of university students</em></a></span> </div> <p class="xc-mlt-author" title="Ryland, Frederick, 1854-1902">Ryland, Frederick, 1854-1902</p> <p class="xc-mlt-publisher">George Bell</p> </div> </td> </tr> <tr class="even"><td class="first"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">6</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BA00634557?hit=-1&caller=xc-search" title="μ R"><em>μ R</em></a></span> </div> <p class="xc-mlt-publisher">Gauthier-Villars</p> </div> </td><td class="second"> <div class="xc-mlt"> <div class="xc-mlt-count"> <span class="xc-mlt-count_i">12</span> <img class="xc_content_type_icon" src="/opc/sites/all/modules/xc/xc_search/images/blank_cover/icon/book.png" title="図書" width="16" height="16" /> <span>図書</span> <span class="xc-mlt-title"><a href="http://opac.lib.mie-u.ac.jp/opc/recordID/catalog.bib/BB13726451?hit=-1&caller=xc-search" title="論理学と学知の理論について"><em>論理学と学知の理論について</em></a></span> </div> <p class="xc-mlt-author" title="Cavaillès, Jean, 1903-1944, 近藤, 和敬(1979-)">Cavaillès, Jean, 1903-1944, 近藤, 和敬(1979-)</p> <p class="xc-mlt-publisher">月曜社</p> </div> </td> </tr> </tbody> </table> </div><!--xc-search-similar-items-titles--> </div> </div> <div class="links-wrapper"> </div> </div> </div> <div class="region region-content-bottom"> <div id="block-xc_search-result_navigation_bottom" class="block block-xc_search"> <div class="inner"> <h2><!--none--></h2> <div class="content"> <div id="xc-search-result-navigation"><div class="result-nav result-prev"></div><div class="result-nav result-next"></div><div class="result-nav result-list"></div></div> </div> </div> </div> </div> </div> <!-- /#page --> <div id="closure"> <!-- <div id="info"> Drupal theme by <a href="http://kiwi-themes.com">Kiwi Themes</a>. </div> --> </div> <!-- /#closure --> </div> <!-- /#main --> </div> <!-- /#main-wrapper --> </div> <!-- /#main-columns --> </div> <!-- /#main-columns-wrapper --> <!-- for smart phone --> <div class="spDisBlo" id="xc-sp-footer"> </div> <!-- for smart phone --> </body> </html>