Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 59 | << page >> |
Sort by
|
ISBN: 0821850768 Year: 1988 Publisher: Providence (R.I.): American Mathematical Society
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 3884050710 Year: 1988 Publisher: Munchen Philosophia Verlag
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 351828245X Year: 1988 Publisher: Frankfurt am Main Suhrkamp
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Empiricism --- Logic, Symbolic and mathematical --- Mathematics --- Philosophy
Book
ISBN: 0566055546 Year: 1988 Publisher: Aldershot Gower
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Language and languages --- Logic, Symbolic and mathematical --- Philosophy --- Wittgenstein, Ludwig,
ISBN: 0934613664 9780934613668 Year: 1988 Publisher: Los Altos : M. Kaufmann Publishers,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Artificial intelligence --- Knowledge, Theory of --- Logic, symbolic and mathematical --- Reasoning --- Congresses. --- Logic, Symbolic and mathematical --- Artificial intelligence - Congresses. --- Knowledge, Theory of - Congresses. --- Logic, Symbolic and mathematical - Congresses --- Reasoning - Congresses.
ISBN: 0444703268 9780444703262 9786613920744 0444535837 1283608294 9780444535832 9781283608299 6613920746 Year: 1988 Volume: v. 124 Publisher: Amsterdam New York North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
The result of the European Summer Meeting of the Association for Symbolic Logic, this volume gives an overview of the latest developments in most of the major fields of logic being actively pursued today. Important new developments in the applications of logic in computer science are presented. Other areas examined include model theory, set theory, recursion theory, proof theory, and the history of logic.This volume contains the texts of ten of the invited lectures and six of the contributed papers.
ISBN: 9027727856 9401569444 9401569428 Year: 1988 Volume: 199 Publisher: Dordrecht Kluwer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical. --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique symbolique et mathématique
ISBN: 9024734169 9789024734160 9401077304 940092741X Year: 1988 Publisher: Dordrecht : Kluwer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical. --- Logique symbolique et mathématique --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logique symbolique et mathématique
Book
ISBN: 0415018714 0415018706 9780415018715 Year: 1988 Publisher: London Routledge
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logistiek. Mathematische logica. Symbolische logica --- 164 Logistiek. Mathematische logica. Symbolische logica --- Logic, Symbolic and mathematical --- 164 --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic, Symbolic and mathematical.
ISBN: 3540966404 0387966404 1441986405 Year: 1988 Publisher: New York Berlin Heidelberg : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 10 of 59 | << page >> |
Sort by
|