Home Advanced Search

Advanced Search - Page 1

Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo
  • DJVU
  • English
  • Year: 1990
  • Author: S. Homer, R. A. Platek, A. Scedrov, A. Nerode, Gerald E. Sacks
Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo
  • DJVU
  • English
  • Year: 1990
  • Author: Steven Homer, Anil Nerode, Richard A. Platek, Gerald E. Sacks, Andre Scedrov, Piergiorgio Odifreddi
Higher Recursion Theory
  • PDF
  • English
  • Year: 2017
  • Author: Gerald E. Sacks
Degrees of unsolvability.
  • PDF
  • English
  • Year: 1963
  • Author: Sacks, Gerald E.
Mathematical logic in the 20th century
  • PDF
  • English
  • Year: 2003
  • Author: Sacks, Gerald E
Degrees of Unsolvability. (AM-55), Volume 55
  • PDF
  • English
  • Year: 2016
  • Author: Gerald E. Sacks
Saturated Model Theory
  • PDF
  • English
  • Year: 1972
  • Author: Gerald E Sacks
Selected Logic Papers
  • DJVU
  • English
  • Year: 1999
  • Author: Gerald E. Sacks
Saturated Model Theory
  • DJVU
  • English
  • Year: 1972
  • Author: Gerald E Sacks
Higher Recursion Theory
  • PDF
  • English
  • Year: 1990
  • Author: Gerald E. Sacks
search