Logic Colloquium '98 :
proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9-15, 1998 /
edited by Samuel R. Buss, Petr Hájek, Pavel Pudlák

Description

Tools

Cite this Export citation file

Meeting Name: Logic Colloquium Prague, Czech Republic) (1998 :
Related Names: Pudlák, Pavel, 1952-
Hájek, Petr
Buss, Samuel R
Association for Symbolic Logic
Language(s): English
Published: Natick, Mass. : Association for Symbolic Logic, c2000
Subjects: Logic, Symbolic and mathematical > Logic, Symbolic and mathematical / Congresses
Physical Description: xv, 541 p. : ill. ; 25 cm
ISBN: 1568811136 (hc : acid-free paper)
1568811144 (pbk.)
Locate a Print Version: Find in a library

Viewability

Item Link	Original Source
Limited (search only)	University of California

View HathiTrust MARC record

Similar Items

Logic Colloquium '98 : proceedings of the 1998 ASL European Summer Meeting held in Prague, Czech Republic

Author: Logic Colloquium (1998 : Prague, Czech Republic)
Published: 1999

Metamathematics of first-order arithmetic

Author: Hájek, Petr
Published: 1993

The bulletin of symbolic logic

Author: Association for Symbolic Logic
Published: 1995

The Journal of symbolic logic

Author: Association for Symbolic Logic
Published: 1936

Biorthogonal systems in Banach spaces

Author: Hájek, Petr.
Published: 2008

Bounded arithmetic

Author: Buss, Samuel R.
Published: 1986

The theory of semisets

Author: Vopěnka, Petr.
Published: 1972

Mechanizing hypothesis formation : mathematical foundations for a general theory

Author: Hájek, Petr.
Published: 1978

Vlídná past

Author: Hájek, Petr, 1951-
Published: 1987

Areál snů

Author: Hájek, Petr, 1951-
Published: 1980