[M] Theory of formal systems

Creator: by Raymond M. Smullyan Publisher: Princeton University Press (Date of publication: 1961)

Item identifier: 10013479

Binding item identifier:

Shelf: 第一書庫 (茨女短大図書館)

Checkout type: Book

Circulation status: Available on Shelf

Include supplements: No

Call number: 410.1|Sm 8|

URL:

Acquired at: March 31, 1996

Binding call number:

Binded at:

Note:

BA25912423|Recursive functions Metamathematics|Recursive functions|Metamathematics

Accepted at:

Created at: Wed, 31 Oct 2018 02:45:45 +0900

Updated at: Fri, 09 Nov 2018 21:23:44 +0900