Skip to main content
Dr.B.R. Ambedkar Central Library
Your cart is empty.
Cart
Lists
Public lists
May 2024
April 2024
March 2024
Tribal
Constitutionalism
View all
Your lists
Log in to create your own lists
Log in to your account
Search history
Clear
Search
Library catalog
Title
Author
Subject
ISBN
ISSN
Series
Call number
All libraries
Atal Bihari Vajpayee School of Management and Entrepreneurship
Centre for Chinese and South East Asian Studies(CCSEAS/SLL&CS)
Centre for Comparative Politics & Political Theory
Centre for Economic Studies and Planning(CESP/SSS)
Centre for Historical Studies(CHS/SSS)
Centre for Japanese Studies
Centre for Political Studies(CPS/SSS)
Centre for Russian and Central Asian Studies(CRCAS/SIS)
Centre for Studies in Science Policy(CSSP/SSS)
Centre for the Study of Discrimination and Exclusion(CSDE/SSS)
Centre for the Study of Law and Governance
Centre for the Study of Regional Development(CSRD/SSS)
Centre for the Study of Social Systems(CSSS/SSS)
Centre for West Asian Studies(CWAS/SIS)
Centre for Women's Studies(CWS/SSS)
Centre of French and Francophone Studies(CFFS/SLL&CS)
Centre of German Studies(CGS/SLL&CS)
Centre of Russian Studies(CRS/SLL&CS)
Centre of Social Medicine and Community Health(CSMCH/SSS)
Centres for Study of Social Exclusion and Inclusive Policy(CSSE&IP/SSS)
Dr. B. R. Ambedkar Central Library
Exim Bank Library
Human Resource Development Centre
Intellectual Property Management Cell
Language Empowerment Cell
North East India Studies Programme(NEISP/SSS)
P.C. Joshi Archives
School of Arts & Aesthetics
School of Biotechnology
School of Computational & Integrative Science
School of Computer & System Sciences
School of Engineering
School of Environmental Sciences
School of Indian Traditional Music and Dance
School of International Studies
School of Language, Literature and Culture Studies
School of Life Science
School of Physical Sciences
School of Sanskrit and Indic Studies
Special Centre for E-Learning
Special Centre for Molecular Medicine
Special Centre for Systems Medicine
Zakir Husain Centre for Educational Studies(ZHCES/SSS)
Go
Advanced search
Authority search
Tag cloud
Most popular
Libraries
Log in to your account
×
Login:
Password:
Home
Results of search for 'ccl=Provider:University Press, and su-to:Logic, Symbolic and mathematical'
Refine your search
Availability
Limit to currently available items
Authors
Church, Alonzo
Collections
Science Collections
Holding libraries
Dr. B. R. Ambedkar Central Library
Item types
BK
Locations
Science
Topics
Logic, Symbolic and ...
Your search returned 2 results.
Not what you expected? Check for
suggestions
Sort
Sort by:
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
Unhighlight
Highlight
Select all
Clear all
Select titles to:
Add to...
Cart
May 2024
March 2024
[ New list ]
Place hold
Results
Frege and Godel : two fundamental texts in mathematical logic /
edited by Jean Van Heijenoort.
Material type:
Book
Publisher:
Cambridge : Harvard University Press, 1970
Availability:
Items available for loan:
Dr. B. R. Ambedkar Central Library (1).
Location(s):
Science
511.3 V312 Fr
.
Place hold
Log in to add tags
Add to cart
(remove)
No cover image available
The calculi of lambda-conversion /
by Alonzo Church.
by
Church, Alonzo.
Material type:
Book
Publisher:
Princeton : Princeton University Press, 1941
Availability:
Items available for loan:
Dr. B. R. Ambedkar Central Library (1).
Location(s):
Science
511.3 C4732 Ca
.
Place hold
Log in to add tags
Add to cart
(remove)
Pages
Untitled Document
Designed & Developed by IT Support | © Dr B R Ambedkar Central Library, JNU, New Delhi 2021
