Search

Your search returned 10 results.

Results
		No cover image available Godel's theorems : a workbook on formalization by Huber-Dyson, Verena \| . Series: Edition: Language: English Publication details: Stuttgart ; B.G. Teubner Verlagsgesellschaft, ; 1991Availability: Items available for loan: 1 Call number: 517.1 Hub. Place hold Add to cart (remove)
		No cover image available First International symposium on Godel's theorems, Paris, 27-29 May, 1991 / edited by Z.W. Wolkowski by International symposium on godel's theorems (1st : 1991 : Pa \| . Series: Edition: Language: English Publication details: ; Singapore : World Scientific, 1993 ; 1993Availability: Items available for loan: 1 Call number: 517.1 Int:1:91. Place hold Add to cart (remove)
		No cover image available Godel, Escher, Bach : an eternal gloden braid by Hofstadter, Douglas R \| . Series: Edition: Language: English Publication details: Harmondsworth ; Pengiun Books ; 1979Availability: Not available: Checked out (1). Place hold Add to cart (remove)
		Shadows of the mind : a search for the missing science of consciousness by Penrose, Roger. Language: English Publication details: Oxford : Oxford University Press, 1994 ; 1994Availability: Items available for loan: 1 Call number: 681.342:159.956 Pen. Place hold Add to cart (remove)
		No cover image available Extensional Godel functional interpretation : a consistency proof of classical analysis by Luckhardt, Horst \| . Series: BSI 6057 : part - 3 : sect. - 3.13 : 1984Edition: Language: English Publication details: Berlin ; Springer-Verlag, ; 1973Availability: Items available for loan: 1 Call number: 517.5 Luc. Place hold Add to cart (remove)
		No cover image available Shadows of the mind : a search for the missing science of consciousness by Penrose, Roger \| . Series: Edition: Language: English Publication details: ; Oxford : Oxford University Press, 1994 ; 1994Availability: Items available for loan: 1 Call number: 681.342:159.956 Pen(2). Place hold Add to cart (remove)
		No cover image available Forever undecided : a puzzle guide to Godel by Smullyan, Raymond\ \| . Series: Edition: Language: English Publication details: Oxford ; Oxford University Press, ; 1987Availability: Items available for loan: 1 Call number: 517.1 Smu. Place hold Add to cart (remove)
		No cover image available Large, the small and the human mind / Roger Penrose...[et al.] ; edited by Malcolm Longair by \| . Series: Edition: Language: English Publication details: ; Cambridge : Cambridge University Press, 1999 ; 1999Availability: Items available for loan: 1 Call number: 681.342:159.956 Lar. Place hold Add to cart (remove)
		No cover image available Undecidable theories by Tarski, Alfred \| . Series: NRSA TR 0171 0180 : 1983Edition: Language: English Publication details: Amsterdam ; North-Holland Pub., ; 1971Availability: Items available for loan: 1 Call number: 51 Tar. Place hold Add to cart (remove)
		P=NP question and Godel's lost letter by Lipton, Richard J \| . Series: Edition: Language: English Publication details: New York ; Springer ; 2010Availability: Items available for loan: 1 Call number: 517.1Lip. Place hold Add to cart (remove)

Powered by Koha