Normal view MARC view ISBD view

Logic and algorithmic : An international symposium held in honour of Ernst Specker

By:

Series: Monographie no 30 de l'Enseignement mathematiquePublication details: Geneve : L'Enseignement Mathematique, Universite de Geneve, c1982Description: 392 p. 24 cmSubject(s):

DDC classification:

511.3

LOC classification:

QA9.2

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Copy number	Status	Date due	Barcode
Carti	IMAR	511.3-ENG (Browse shelf(Opens below))	1	Available		0036292

Browsing IMAR shelves Close shelf browser (Hides shelf browser)

Previous	No cover image available	No cover image available		No cover image available	No cover image available		No cover image available	Next
Previous	511.3-DUM Solutia paradoxelor logico-matematice	511.3-EBB Einfuhrung in die mathematische Logik	511.3-END A mathematical introduction to logic	511.3-ENG Logic and algorithmic : An international symposium held in honour of Ernst Specker	511.3-ENG Logic and Algorithmic: An International Symposium Held in Honour of Ernst Specker	511.3-FIT First-order logic and automated theorem proving	511.3-FRA Cours de logique mathematique	Next

eng
fre
ger

Papers from the symposium held in Zurich, Feb. 5-11, 1980.

Addresses of the speakers p. 9

There are no comments on this title.

to post a comment.

Powered by Koha