-
Practical foundations of mathematicsTaylor, Paul, 1960-Type of material - bookPublication and manufacture - Cambridge ; New York ; Melbourne : Cambridge University Press, cop. 1999Language - englishISBN - 0-521-63107-6COBISS.SI-ID - 8737881
Author
Taylor, Paul, 1960-
Topics
klasična logika |
intuicionistična logika |
delno urejene množice |
mreže |
kartezično zaprte kategorije |
strukturna rekurzija |
teorija tipov |
osnove matematike |
naloge |
classical logic |
intuitionistic logic |
posets |
lattices |
Cartesian closed categories |
structural recursion |
theory of types |
foundations of mathematics |
exercises
Library/institution |
City | Acronym | For loan | Other holdings |
---|---|---|---|---|
FMF and IMFM, Mathematical Library, Ljubljana | Ljubljana | MAKLJ |
outside loan 2 cop.
|
Shelf entry
Permalink
- URL:
Impact factor
Access to the JCR database is permitted only to users from Slovenia. Your current IP address is not on the list of IP addresses with access permission, and authentication with the relevant AAI accout is required.
Year | Impact factor | Edition | Category | Classification | ||||
---|---|---|---|---|---|---|---|---|
JCR | SNIP | JCR | SNIP | JCR | SNIP | JCR | SNIP |
Select the library membership card:
DRS, in which the journal is indexed
Database name | Field | Year |
---|
Links to authors' personal bibliographies | Links to information on researchers in the SICRIS system |
---|---|
Taylor, Paul, 1960- |
Select pickup location:
Material pickup by post
Notification
Subject headings in COBISS General List of Subject Headings
Select pickup location
Pickup location | Material status | Reservation |
---|
Please wait a moment.