Studies in Logic and the Foundations of Mathematics
GPTKB entity
Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book_series
|
| gptkbp:abbreviation |
Stud. Log. Found. Math.
|
| gptkbp:countryOfPublication |
gptkb:Netherlands
|
| gptkbp:field |
gptkb:logic
foundations of mathematics |
| https://www.w3.org/2000/01/rdf-schema#label |
Studies in Logic and the Foundations of Mathematics
|
| gptkbp:language |
English
|
| gptkbp:medium |
gptkb:print
electronic |
| gptkbp:notableEditor |
gptkb:Alfred_Tarski
gptkb:Dov_Gabbay gptkb:L.E.J._Brouwer gptkb:Stephen_Cole_Kleene J. Barwise S. Feferman |
| gptkbp:notableWork |
gptkb:Model_Theory
gptkb:Gödel's_Incompleteness_Theorems Proof Theory Recursion Theory |
| gptkbp:publisher |
gptkb:Elsevier
|
| gptkbp:bfsParent |
gptkb:Classification_Theory_and_the_Number_of_Nonisomorphic_Models
gptkb:Shelah's_Classification_Theory |
| gptkbp:bfsLayer |
5
|