Search
Feedback
About
Help
News
| Listing 1 - 10 of 540 | << page >> |
Sort by
|
ISBN: 3110139871 Year: 1993 Publisher: Berlin ; New York Walter De Gruyter
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Periodical
Year: 1993 Publisher: Frankfurt am Main New York P. Lang
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 3540585818 3642793630 3642793614 9783540585817 Year: 1995 Volume: 139 Publisher: Berlin : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISSN: 03029743 ISBN: 3540646752 9783540646754 Year: 1998 Volume: 1421 Publisher: Berlin [etc.] : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1989 Publisher: Oxford Cambridge,Mss Blackwell
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Year: 1996 Publisher: Brussels Belgian Mathematical Society
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0465051588 Year: 1998 Publisher: New York Basic Books
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 0030128080 9780030128080 Year: 1990 Publisher: Philadelphia Chicago Tokyo Saunders College Pub.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0387581561 3540581561 Year: 1994 Volume: 814 *3 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Automatic theorem proving --- Logic, Symbolic and mathematical --- Congresses. --- Congresses --- Logic [Symbolic and mathematical ]
ISBN: 9780444880222 0444880224 9781435686991 1435686993 1281716499 9781281716491 1282711199 9781282711198 9786612711190 6612711191 9786611716493 6611716491 9780080880024 0080880061 9780080880068 0080880029 9780080880020 Year: 1989 Volume: 129 Publisher: Amsterdam New York New York, N.Y. North-Holland Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.
Mathematical logic --- Logic, Symbolic and mathematical --- Mathematics --- Math --- Science --- Logic [Symbolic and mathematical ] --- Congresses
| Listing 1 - 10 of 540 | << page >> |
Sort by
|