Welcome  Guest 

Hokkaido University Library Catalog

Help
Keyboard
Japanese
TOP
Database
Northern Studies Collection
Library Web Services
    • Check Status of Loan/Reservation/Extend a Loan
    • Change E-mail Address
    • InterLibraryLoan/Photocopy Request
    • Check Status of Loan/Photocopy
    • Purchase Request
    • Check Status of Purchase Request
    • Check Budget Data
    • Check Budget Expenditures List
    • Change Password(for Library patron-ID)
  • Library
  • HUSCAP
  • 本は脳を育てる
  • Hokkaido University
  • Hokkaido Univ.
  • CiNii Books
  • CiNii Research(articles only)
  • National Diet Library
  • Other search
    • CiNii Books
    • CiNii Research(articles only)
    • National Diet Library

Search Area

search materials(including e-books and e-journals) held by Hokkaido university.

CiNii Books

search materials held by universities in Japan.

CiNii Research(articles only)

search information on academic articles published in Japan.

National Diet Library

search NDL(National Diet Library) online, NDL Digitized Contents and "Aozora Bunko", materials of a Japanese digital library.

Open search condition
  • Simple Search
  • Advanced

Search Conditions

  •  

Document Type

Campus

Search Option

Document Type:
Any:
Title:
Full Title:
Author:
Author ID:
Publisher:
ISBN:
ISSN:
NCID:
Subject:
Classification:
Note:
Year: –
Language:
Sort:
Display:
Any:
Title:
Author:
Journal:
Sort:
Display:
Any:
Title:
Full Title:
Author:
Journal:
Subject:
ISBN:
ISSN:
Year Published: –
Sort:
Display:

» Filtering by

Results

Search keyword:(Subject: Logicians United States Biography)

Results:5items

  • items
  • Display list of Selected Items
  • Send Mail
  • Output File
  • Export EndNote Basic
  • Export Mendeley
Select All
  • 1.
    Books

    Logical dilemmas : the life and work of Kurt Gödel / John W. Dawson, Jr.

    : hard,: soft. - Wellesley, Mass. : A K Peters , c1997

    ID=2000663866 NCID=BA29787265



  • 2.
    Books

    A logical journey : from Gödel to philosophy / Hao Wang

    Cambridge, Mass. : MIT Press , c1996. - (Representation and mind / Hilary Putnam and Ned Block, editors)

    ID=2000687201 NCID=BA29895494



  • 3.
    Books

    Reflections on Kurt Gödel / Hao Wang

    : pbk. - Cambridge, Mass. : MIT Press , c1987

    ID=2000095178 NCID=BA01001556



  • 4.
    Books

    Incompleteness : the proof and paradox of Kurt Gödel / Rebecca Goldstein

    : pbk. - New York : W.W. Norton , c2005, 2006. - (Great discoveries)

    ID=2001217598 NCID=BA72805043



  • 5.
    Books

    Alfred Tarski : life and logic / Anita Burdman Feferman, Solomon Feferman

    : hbk. - Cambridge, U.K. ; New York : Cambridge University Press , 2004

    ID=2001179610 NCID=BA69576403



  • Display list of Selected Items
  • Send Mail
  • Output File
  • Export EndNote Basic
  • Export Mendeley
Select All
CLOSE

Filtering Item

CLOSE

New Arrivals

  • New Books List
  • New Journals List
  • New Audio Visual Materials List

Title List

  • Journals Title List
  • Audio Visual Title List

Library Web Services

  • Check Status of Loan/Reservation/Extend a Loan
  • Change E-mail Address
  • InterLibraryLoan/Photocopy Request
  • Check Status of Loan/Photocopy
  • Purchase Request
  • Check Status of Purchase Request
  • Check Budget Data
  • Check Budget Expenditures List
  • Change Password(for Library patron-ID)

Relation

  • HUSCAP
  • Northern Studies Collection
  • Database
  • Library
  • Hokkaido University