|
gptkbp:instance_of
|
gptkb:book
|
|
gptkbp:author
|
Robert Goldblatt
|
|
gptkbp:contains
|
gptkb:archaeological_site
gptkb:stock_market_index
gptkb:mobile_application
exercises
theoretical frameworks
examples
|
|
gptkbp:contributed_to
|
foundations of mathematics
|
|
gptkbp:discusses
|
proofs
theorems
axiomatic systems
logical frameworks
logical paradoxes
categorical semantics
|
|
gptkbp:features
|
gptkb:painting
appendices
tables
diagrams
|
|
gptkbp:field
|
gptkb:Mathematician
|
|
gptkbp:focus
|
categorical logic
|
|
gptkbp:influenced_by
|
gptkb:Gottlob_Frege
gptkb:Bertrand_Russell
gptkb:Alfred_Tarski
|
|
gptkbp:influences
|
category theory
|
|
gptkbp:is_available_in
|
libraries
online bookstores
|
|
gptkbp:is_cited_in
|
research papers
scholarly articles
|
|
gptkbp:isbn
|
978-9027718234
|
|
gptkbp:language
|
English
|
|
gptkbp:page_count
|
400
|
|
gptkbp:published_year
|
gptkb:1984
|
|
gptkbp:publisher
|
gptkb:Springer
|
|
gptkbp:related_to
|
gptkb:collection
mathematical logic
philosophy of mathematics
model theory
proof theory
formal systems
|
|
gptkbp:series
|
Mathematics and its Applications
|
|
gptkbp:subject
|
gptkb:philosopher
|
|
gptkbp:target_audience
|
gptkb:philosopher
gptkb:Mathematician
logicians
|
|
gptkbp:user_reviews
|
gptkb:academic_journal
book reviews
|
|
gptkbp:bfsParent
|
gptkb:Mark_M._A._Goldblatt
|
|
gptkbp:bfsLayer
|
7
|