Wiktor Marek has written:

'Spectrum of L' -- subject(s): Constructibility (Set theory), Model theory

'On the metamathematics of impredicative set theory' -- subject(s): Metamathematics, Set theory

'Elements of logic and foundations of mathematics in problems' -- subject(s): Set theory, Symbolic and mathematical Logic

John Mueller Anderson has written:

'Natural deduction' -- subject(s): Metamathematics, Symbolic and mathematical Logic

'The grammar of case' -- subject(s): Case, Comparative and general Grammar, Syntax

Douglas R. Hofstadter has written:

'Metamagical Themas' -- subject(s): Intellect, Self (Philosophy), Science, Philosophy, Metamathematics, Amusements, Artificial intelligence, Artifical intelligence, Intellect.

'The Mind's I : Fantasies and Reflections on Self and Soul'

'Metafont, metamathematics and metaphysics'

'Fluid concepts and creative analogies' -- subject(s): Cognitive science, Analogy, Computer simulation, Artificial intelligence

'Piano Music by Douglas Hofstadter'

'Ambigrammi'

'I Am a Strange Loop' -- subject(s): Self (Philosophy), Intellect, Consciousness, Soul

'The Mind's I' -- subject(s): Literary collections, Self (Philosophy), Soul, Intellect, Consciousness, Addresses, essays, lectures, Conciousness, Accessible Book, In Library

'Godel, Escher, Bach'

'M.C. Escher'

'Metamagicum. Fragen nach der Essenz von Geist und Struktur'

'Godel, Escher, Bach' -- subject(s): mathematics, maths, music, complexity

Paul Lorenzen has written:

'Metamathematik' -- subject(s): Metamathematics

'Formale Logik' -- subject(s): Logic

'Konstruktive Wissenschaftstheorie' -- subject(s): Philosophy, Science, Hermeneutics, Mathematics

'Differential and integral' -- subject(s): Calculus, Constructive mathematics

'Constructive philosophy' -- subject(s): Philosophy, Mathematics, Physics, Language and languages, Logic

'Grundbegriffe technischer und politischer Kultur' -- subject(s): Philosophy, Technology

Raymond M. Smullyan has written:

'This Book Needs No Title'

'The Lady or the Tiger?'

'El Enigma de Scherezade / The Riddle of Scheherazade'

'Alice in puzzle-land' -- subject(s): Puzzles, Fantasy fiction, Miscellanea

'The chess mysteries of the Arabian knights' -- subject(s): Arabian knights, Chess problems

'Theory of formal systems' -- subject(s): Metamathematics, Recursive functions

'The tao is silent' -- subject(s): Tao

'What is the name of this book?' -- subject(s): Logic puzzles

'King Arthur in search of his dog and other curious puzzles' -- subject(s): Mathematical recreations

'Set theory and the continuum problem' -- subject(s): Set theory, Continuum hypothesis

'Alice in puzzle-land' -- subject(s): Puzzles, Fantasy fiction, Miscellanea

'The chess mysteries of the Arabian knights' -- subject(s): Chess problems

'Juegos de Ajedrez y Los Misticos Caballos'

'The chess mysteries of Sherlock Holmes' -- subject(s): Sherlock Holmes (Fictitious character), Chess problems

'The Lady or the Tiger?' -- subject(s): Logic puzzles, Philosophical recreations, Mathematical recreations, Recreatieve wiskunde

'Alicia En El Pais De Las Adivinanzas / Alice in Puzzle-Land (Teorema / Theorem)'

'Diagonalization and self-reference' -- subject(s): Fixed point theory, Recursion theory

'Silencioso Tao'

'The tao is silent' -- subject(s): Tao

'Recursion theory for metamathematics' -- subject(s): Recursion theory

'To Mock a Mockingbird and Other Logic Puzzles' -- subject(s): Logic puzzles, Philosophical recreations