Search
Feedback
About
Help
News
| Listing 1 - 10 of 253 | << page >> |
Sort by
|
Book
ISBN: 9781848900790 1848900791 Year: 2012 Publisher: London College publications
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 1283433966 9786613433961 9814360546 9789814360548 9789814360531 9814360538 Year: 2012 Publisher: Hackensack, N.J. : World Scientific,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.
Book
ISBN: 9783034601443 3034601441 Year: 2012 Publisher: Basel : London : Birkhäuser ; Springer [distributor],
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
A collection of papers from Paul Hertz to Dov Gabbay - through Tarski, G¿del, Kripke - giving a general perspective about logical systems. These papers discuss questions such as the relativity and nature of logic, present tools such as consequence operators and combinations of logics, prove theorems such as translations between logics, investigate the domain of validity and application of fundamental results such as compactness and completeness. Each of these papers is presented by a specialist explaining its context, import and influence.
Periodical
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Periodical
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9780230247741 0230247741 9781349320257 Year: 2012 Publisher: Houndmills, Basingstoke, Hampshire ; New York : Palgrave Macmillan,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
A new approach to reading Frege's notations that adheres to the modern view that terms and well-formed formulas are any disjoint syntactic categories. On this new approach, we can at last read Frege's notations in their original form revealing striking new solutions to many of the outstanding problems of interpreting his philosophy.
Proof theory. --- Mathematical notation. --- Logic, Symbolic and mathematical. --- Frege, Gottlob,
Book
ISBN: 9780521763240 052176324X 9781139233439 1139233432 9781139230421 1139230425 9781139015417 1139015419 9781139231893 1139231898 1280393343 9781280393341 1139227459 9781139227452 1107224756 9781107224759 1139232657 9781139232654 9786613571267 6613571261 1139228986 9781139228985 Year: 2012 Publisher: Cambridge : Cambridge University Press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This concise introduction to model theory begins with standard notions and takes the reader through to more advanced topics such as stability, simplicity and Hrushovski constructions. The authors introduce the classic results, as well as more recent developments in this vibrant area of mathematical logic. Concrete mathematical examples are included throughout to make the concepts easier to follow. The book also contains over 200 exercises, many with solutions, making the book a useful resource for graduate students as well as researchers.
Model theory. --- Model theory --- Logic, Symbolic and mathematical
Book
ISBN: 3110885417 Year: 2012 Publisher: Berlin ; Boston : De Gruyter,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Mathematische Logik Von 1847 Bis Zur Gegenwart: Eine Bibliometrische Untersuchung.
Logic, Symbolic and mathematical --- Scientific literature --- Authorship --- History. --- Mathematical models.
Periodical
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Logic, Symbolic and mathematical --- Mathematical physics --- Mathematical Theory
Book
ISBN: 9782842451158 2842451155 Year: 2012 Publisher: Paris : Belin-"Pour la science",
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 --- Logique symbolique et mathématique --- Mathématiques --- Mathematics --- Philosophie --- Philosophy --- Mathématiques --- Logique mathématique --- Philosophy. --- Logique
| Listing 1 - 10 of 253 | << page >> |
Sort by
|